Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications."

"This book constitutes the refereed proceedings of the 10th International Conference on Applied Cryptography and Network Security, ACNS 2012, held in Singapore, in June 2012.The 33 revised full papers included in this volume were carefully reviewed and selected from 192 submissions. They are organized in topical sessions on authentication, key management, block ciphers, identity-based cryptography, cryptographic primitives, cryptanalysis, side channel attacks, network security, Web security, security and privacy in social networks, security and privacy in RFID systems, security and privacy in cloud systems, and security and privacy in smart grids."

"This book constitutes the refereed proceedings of the 10th International Conference on Pervasive Computing, Pervasive 2012, held in Newcastle, UK, in June 2012. The 28 revised papers presented were carefully reviewed and selected from 138 submissions. The contributions are grouped into the following topical sections, activity capturing, urban mobility and computing, home and energy, HCI, development tools and devices, indoor location and positioning, social computing and games, privacy, public displays and services."

"This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services."

"This book constitutes the refereed proceedings of the 11th International Conference on Entertainment Computing, ICEC 2012, held in Bremen, Germany, in September 2012. The 21 full papers, 13 short papers, 16 posters, 8 demos, 4 workshops, 1 tutorial and 3 doctoral consortium submissions presented were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on story telling, serious games (learning and training), self and identity, interactive performance, mixed reality and 3D worlds; serious games (health and social), player experience, tools and methods, user interface, demonstrations, industry demonstration, harnessing collective intelligence with games, game development and model-driven software development, mobile gaming, mobile life–interweaving the virtual and the real, exploring the challenges of ethics, privacy and trust in serious gaming, and open source software for entertainment."

"This book constitutes the refereed proceedings of the 3rd International Conference on Serious Games Development and Applications, SGDA 2012, held in Bremen, Germany in September 2012. The 22 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover various topics on serious games including engineering, education, health care, military applications, game design, game study, game theories, virtual reality, 3D visualisation and medical applications of games technology."

"The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing."

"This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology, CMSB 2012, held in London, UK, during October 3-5, 2012. The 17 revised full papers and 8 flash posters presented together with the summaries of 3 invited papers were carefully reviewed and selected from 62 submissions. The papers cover the analysis of biological systems, networks, and data ranging from intercellular to multiscale. Topics included high-performance computing, and for the first time papers on synthetic biology."

"This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits."