Hasil Pencarian  ::  Simpan CSV :: Kembali

"The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering."

"This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains."

"This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Artificial Intelligence, SBIA 2012, held in Curitiba, Brazil, in October 2012. The 23 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers cover the following topics: knowledge representation, machine learning, machine learning and computer vision, agent-based and multi-agent systems, robotics and language, as well as constraints."

"Brazilian Symposium on Bioinformatics covers all aspects of bioinformatics and computational biology, including sequence analysis, motifs, and pattern matching, biological databases, data management, data integration, and data mining, biomedical text mining, structural, comparative, and functional genomics, personal genomics, protein structure, modeling, and simulation, gene identification, regulation and expression analysis, gene and protein interaction and networks, molecular docking, molecular evolution and phylogenetics, computational systems biology, computational proteomics, statistical analysis of molecular sequences, algorithms for problems in computational biology, applications in molecular biology, biochemistry, genetics, medicine, microbiology and associated subjects."

"This book constitutes the refereed proceedings of the 26th International Symposium on Distributed Computing, DISC 2012, held in Salvador, Brazil, in October 2012. The 27 revised full papers presented together with 24 brief announcements were carefully reviewed and selected from 119 submissions. The papers are organized in topical sections on shared memory, mobile agents and overlay networks, wireless and multiple access channel networks, dynamic networks, distributed graph algorithms, wireless and loosely connected networks, robots, and lower bounds and separation."

"This book constitutes the proceedings of the 15th International Symposium on Research in Attacks, Intrusions and Defenses, former Recent Advances in Intrusion Detection, RAID 2012, held in Amsterdam, The Netherlands in September 2012. The 18 full and 12 poster papers presented were carefully reviewed and selected from 84 submissions. The papers address all current topics in virtualization, attacks and defenses, host and network security, fraud detection and underground economy, web security, intrusion detection."

"This book constitutes the refereed proceedings of the 17th European Symposium on Computer Security, ESORICS 2012, held in Pisa, Italy, in September 2012. The 50 papers included in the book were carefully reviewed and selected from 248 papers. The articles are organized in topical sections on security and data protection in real systems, formal models for cryptography and access control, security and privacy in mobile and wireless networks, counteracting man-in-the-middle attacks, network security, users privacy and anonymity, location privacy, voting protocols and anonymous communication, private computation in cloud systems, formal security models, identity based encryption and group signature, authentication, encryption key and password security, malware and phishing, and software security."

"This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking."

"This book constitutes the refereed proceedings of the 20th Annual European Symposium on Algorithms, ESA 2012, held in Ljubljana, Slovenia, in September 2012 in the context of the combined conference ALGO 2012. The 69 revised full papers presented were carefully reviewed and selected from 285 initial submissions: 56 out of 231 in track design and analysis and 13 out of 54 in track engineering and applications. The papers are organized in topical sections such as algorithm engineering, algorithmic aspects of networks, algorithmic game theory, approximation algorithms, computational biology, computational finance, computational geometry, combinatorial optimization, data compression, data structures, databases and information retrieval, distributed and parallel computing, graph algorithms, hierarchical memories, heuristics and meta-heuristics, mathematical programming, mobile computing, on-line algorithms, parameterized complexity, pattern matching, quantum computing, randomized algorithms, scheduling and resource allocation problems, and streaming algorithms."