::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 736 dokumen yang sesuai dengan query
cover
Vohra, Deepak, author
The Rhodes framework offers several advantages over other mobile frameworks. Some of the unique features of the Rhodes frameworks are as follows : - The only smartphone framework to offer support for the Model View Controller pattern - The only smartphone framework to offer support for the Object-Relational manager -The only smartphone framework...
New York: Springer, 2012
e20407786
eBooks  Universitas Indonesia Library
cover
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
cover
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
cover
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
cover
Jesper Larsson Traff, editor
This book constitutes the refereed proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. The 29 revised papers presented together with 4 invited talks and 7 poster papers were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections...
Berlin: Springer-Verlag, 2012
e20407883
eBooks  Universitas Indonesia Library
cover
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
cover
George Danezis, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Financial Cryptography and Data Security, FC 2011, held in Gros Islet, St. Lucia, in February/March 2011. The 16 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 65 initial submissions....
Berlin: Springer-Verlag, 2012
e20408181
eBooks  Universitas Indonesia Library
cover
Maria Bielikova, editor
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also...
Berlin: [, Springer-Verlag], 2012
e20409086
eBooks  Universitas Indonesia Library
cover
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
cover
Tor Helleseth, editor
This book constitutes the refereed proceedings of the 7th International Conference on Sequences and Their Applications, SETA 2012, held in Waterloo, Canada, in June 2012. The 28 full papers presented together with 2 invited papers in this volume were carefully reviewed and selected from 48 submissions. The papers are grouped...
Heidelberg: [, Springer-Verlag], 2012
e20409241
eBooks  Universitas Indonesia Library