Ditemukan 736 dokumen yang sesuai dengan query
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
Josep Domingo-Ferrer, editor
This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2012, held in Palermo, Italy, in September 2012 under the sponsorship of the UNESCO chair in Data Privacy. The 27 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers...
Berlin: Springer-Verlag, 2012
e20407881
eBooks Universitas Indonesia Library
Viterbo, Joss, author
Decentralized reasoning in ambient intelligence proposes a decentralized reasoning approach for performing rule-based reasoning about context data targeting AmI systems. For this purpose, the authors define a context model assuming context data distributed over two sides, the user side, represented by the users and their mobile devices, and the ambient...
London: Springer, 2012
e20407913
eBooks Universitas Indonesia Library
Pascal Bouvry, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Meeting of the 2nd Luxembourg-Polish Symposium on Security and Trust and the 19th International Conference Intelligent Information Systems, held as International Joint Confererence on Security and Intelligent Information Systems, SIIS 2011, in Warsaw, Poland, in June 2011. The 29...
Berlin: Springer-Verlag, 2012
e20408078
eBooks Universitas Indonesia Library
Ober, Iulian, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as...
Berlin: Springer-Verlag, 2011
e20408082
eBooks Universitas Indonesia Library
Orr Dunkelman, editor
This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2012, CT-RSA 2012, held in San Francisco, CA, USA, in February/March 2012. The 26 revised full papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in topical sections on side channel...
Berlin: Springer-Verlag, 2012
e20408217
eBooks Universitas Indonesia Library
Luis M. Camarinha-Matos, editor
This book constitutes the refereed proceedings of the Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, held in Costa de Caparica, Portugal, in February 2012. The 65 revised full papers were carefully reviewed and selected from numerous submissions. They cover a wide spectrum of...
Heidelberg: [, Springer], 2012
e20409107
eBooks Universitas Indonesia Library
Qin, Jun, author
Qin and Fahringer present a novel workflow language called Abstract Workflow Description Language (AWDL) and the corresponding standards-based, knowledge-enabled tool support, which simplifies the development of scientific workflow applications. AWDL is an XML-based language for describing scientific workflow applications at a high level of abstraction. It is designed in a...
Berlin: [, Springer-Verlag], 2012
e20409163
eBooks Universitas Indonesia Library
Andrzej Dziech, editor
This book constitutes the refereed proceedings of the 5th International Conference on Multimedia Communications, Services and Security, MCSS 2012, held in Krakow, Poland, in May/June 2012. The 37 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address issues such as privacy and data protection...
Berlin: [Springer-Verlag, ], 2012
e20409172
eBooks Universitas Indonesia Library
Anthony Bonato, editor
This book constitutes the refereed proceedings of the 9th International Workshop on Algorithms and Models for the Web-Graph, WAW 2012, held in Halifax, Nova Scotia, Canada, in June 2012. The 13 papers presented were carefully reviewed and selected for inclusion in this volume. They address a number of topics related...
Berlin: [, Springer-Verlag], 2012
e20409274
eBooks Universitas Indonesia Library
