Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics, program abstraction and logics, data structures and synthesis, security, (non) termination and automata, program verification, theorem prover development, reasoning about program execution, and prover infrastructure and modeling styles."

"This book constitutes the refereed proceedings of the 5th International Conference on Hybrid Learning, ICHL 2012, held in Guangzhou, China, in August 2012. The 32 contributions presented in this volume were carefully reviewed and selected from numerous submissions. In addition two keynote talks are included in this book. The topics covered are computer supported collaborative learning, experiences in hybrid learning, electronic learning, pedagogical and psychological issues, hybrid learning systems, and organizational frameworks for hybrid learning."

"This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in August 2012. The 48 revised full papers presented were carefully reviewed and selected from 225 submissions. The volume also contains the abstracts of two invited talks. The papers are organized in topical sections on symmetric cryptosystems, secure computation, attribute-based and functional encryption, proofs systems, protocols, hash functions, composable security, privacy, leakage and side-channels, signatures, implementation analysis, black-box separation, cryptanalysis, quantum cryptography, and key encapsulation and one-way functions."

"This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial"

"This book constitutes the refereed proceedings of the third International Joint Conference an Ambient Intelligence, AmI 2012, held in Pisa, Italy, in November 2012. The 18 revised full papers and 5 short papers presented were carefully reviewed and selected from 47 (full papers) respectively 14 (short papers) submissions. From a scientific point of view, the papers make a multidisciplinary approach covering fields like computer science, human computer interaction, electrical engineering, industrial design, behavioral sciences, aimed at enriching physical environments with a network of distributed devices, such as sensors, actuators, and computational resources, in order to support users in their everyday activities. "

"This book constitutes the refereed proceedings of the 13 International Conference on Product-Focused Software Process Improvement, PROFES 2012, held in Madrid, Spain, in June 2012. The 21 revised full papers presented together with 3 short papers and 4 workshop and tutorial papers were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on process focused software process improvement, open-source agile and lean practices, product and process measurements and estimation, distributed and global software development, quality assessment, and empirical studies."

"This book constitutes the refereed proceedings of the 5th International Conference on Trust and Trustworthy Computing, TRUST 2012, held in Vienna, Austria, in June 2012. The 19 revised full papers presented were carefully reviewed and selected from 48 submissions. The papers are organized in two tracks: a technical track with topics ranging from trusted computing and mobile devices to applied cryptography and physically unclonable functions, and a socio-economic track focusing on the emerging field of usable security."

"This volume contains the Proceedings of the 5th International Conference on Intelligent Interactive Multimedia Systems and Services (KES-IIMSS-12). The Conference was jointly organised by Nagoya University in Japan and the KES International organisation, and held in the attractive city of Gifu. The KES-IIMSS conference series, presents novel research in various areas of intelligent multimedia system relevant to the development of a new generation of interactive, user-centric devices and systems. The aim of the conference is to provide an internationally respected forum for scientific research in the technologies and applications of this new and dynamic research area."

"This book constitutes the refereed proceedings of the 5th International Conference on Interactive Digital Storytelling, ICIDS 2012, San Sebastián, Spain, November 2012. The 14 revised full papers presented together with 6 short papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on theory and aesthetics, authoring tools and applications, evaluation and user experience reports, virtual characters and agents, new storytelling modes, and workshops."