Ditemukan 1015 dokumen yang sesuai dengan query
Sannella, Donald, author
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal...
Berlin: Springer-Verlag, 2012
e20407790
eBooks Universitas Indonesia Library
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
Jurgen Munch, author
Münch and his co-authors aim at providing knowledge that enables readers to develop useful process models that are suitable for their own purposes. They start with the basic concepts. Subsequently, existing representative process models are introduced, followed by a description of how to create individual models and the necessary means...
Berlin: Springer-Verlag, 2012
e20407805
eBooks Universitas Indonesia Library
Alfred M. Bruckstein, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2011, held in Ein-Gedi, Israel in May/June 2011.
The 24 revised full papers presented together with 44 poster papers were carefully reviewed and selected from 78...
Berlin: Springer-Verlag, 2012
e20407806
eBooks Universitas Indonesia Library
Andy Gill, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners...
Berlin: Springer-Verlag, 2012
e20407809
eBooks Universitas Indonesia Library
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin: Springer-Verlag, 2012
e20407811
eBooks Universitas Indonesia Library
Kerstin Eder, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized...
Berlin: Springer-Verlag, 2012
e20407813
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
Toshiaki Aoki, editor
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal...
Berlin: Springer-Verlag, 2012
e20407818
eBooks Universitas Indonesia Library
Adrian Horia Dediu, editor
This book constitutes the refereed proceedings of the First International Conference, TPNC 2012, held in Tarragona, Spain, in October 2012. The 12 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on nature-inspired models of...
Berlin: Springer-Verlag, 2012
e20407839
eBooks Universitas Indonesia Library
