Ditemukan 2290 dokumen yang sesuai dengan query
Cremers, Cas, author
The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data....
Berlin: Springer-Verlag, 2012
e20407791
eBooks Universitas Indonesia Library
Andrey Bogdanov, editor
This book constitutes the refereed proceedings of the Second International Conference on Security, Privacy and Applied Cryptography Engineering held in Chennai, India, in November 2012.
The 11 papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections on symmetric-key algorithms and cryptanalysis, cryptographic implementations,...
Berlin: Springer-Verlag, 2012
e20407817
eBooks Universitas Indonesia Library
Jyrki Huusko, editor
This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Energy Efficient Data Centers (E2DC 2012) held in Madrid, Spain, in May 2012. The 13 revised full papers presented were carefully selected from 32 submissions. The papers cover topics from information and communication technologies of green...
Berlin: Springer-Verlag, 2012
e20407879
eBooks Universitas Indonesia Library
Klawonn, Frank, author
This book providing clear and concise explanations of the basic concepts of computer graphics, and enabling the reader to immediately implement these concepts in Java 2D and/or 3D with only elementary knowledge of the programming language. Features, provides an ideal, self-contained introduction to computer graphics, with theory and practice presented...
London: Springer-Verlag, 2012
e20407904
eBooks Universitas Indonesia Library
Jakob Andreas Baerentzen, author
This book reviews the algorithms for processing geometric data, with a practical focus on important techniques not covered by traditional courses on computer vision and computer graphics. Features, presents an overview of the underlying mathematical theory, covering vector spaces, metric space, affine spaces, differential geometry, and finite difference methods for...
London: Springer-Verlag, 2012
e20407909
eBooks Universitas Indonesia Library
Sebastian Mödersheim, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed...
Berlin: Springer-Verlag, 2012
e20408103
eBooks Universitas Indonesia Library
Michael J. Dinneen, editor
The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely, algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation....
Berlin: [Springer-Verlag, ], 2012
e20408844
eBooks Universitas Indonesia Library
Sarfraz Khurshid, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71...
Berlin: [, Springer-Verlag], 2012
e20409040
eBooks Universitas Indonesia Library
Antonis M. Hadjiantonis, editor
This book constitutes a collaborative and selected documentation of the scientific outcome of the European COST Action IS0605 Econ@Tel "A Telecommunications Economics COST Network" which run from October 2007 to October 2011. Involving experts from around 20 European countries, the goal of Econ@Tel was to develop a strategic research and...
Heidelberg: [, Springer], 2012
e20409192
eBooks Universitas Indonesia Library
Finkel, Alain, editor
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions...
Berlin: [, Springer-Verlag], 2012
e20409295
eBooks Universitas Indonesia Library
