Ditemukan 2290 dokumen yang sesuai dengan query
Konig, Hartmut, author
Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. Part II deals with the description of communication proto cols, offering an overview of the various formal methods, the essence of protocol engineering. Part III covers...
Berlin: Springer-Verlag, 2012
e20409826
eBooks Universitas Indonesia Library
Xi Zhang, editor
Quality, reliability, security and robustness in heterogeneous networks : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17–19, 2010 : revised selected papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010. The 37 revised full papers presented along with 7 papers from the allocated Dedicated Short Range Communications Workshop, DSRC 2010, were carefully selected from numerous submissions....
Heidelberg: [, Springer], 2012
e20409862
eBooks Universitas Indonesia Library
Till Mossakowski, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics, foundations of algebraic specification,...
Berlin: [, Springer-Verlag], 2012
e20409941
eBooks Universitas Indonesia Library
Boston, Nigel, author
Over the last 50 years there have been an increasing number of applications of algebraic tools to solve problems in communications, in particular in the fields of error-control codes and cryptography. More recently, broader applications have emerged, requiring quite sophisticated algebra - for example, the Alamouti scheme in MIMO communications...
New York: [Springer, ], 2012
e20409947
eBooks Universitas Indonesia Library
Paris Avgeriou, editor
The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies...
Berlin: [Springer-Verlag , ], 2012
e20409984
eBooks Universitas Indonesia Library
Roychoudhury, Abhik, editor
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover...
Berlin: [, Springer-Verlag], 2012
eBooks Universitas Indonesia Library
Yun Qing Shi, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Digital-forensics and Watermarking (IWDW 2011) held in Atlantic City, NJ, USA, during October 23-26, 2011. The 37 revised full papers presented were carefully selected from 59 submissions. Conference papers are organized in 6 technical sessions, covering...
Berlin: [, Springer-Verlag ], 2012
e20410075
eBooks Universitas Indonesia Library
Nick Bezhanishvili, editor
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as...
Berlin: [, Springer-Verlag], 2012
e20410243
eBooks Universitas Indonesia Library
David Fernandez-Baca, editor
This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were carefully reviewed and selected from 153 submissions. The papers address a variety of topics in theoretical computer science with...
Berlin: [, Springer-Verlag], 2012
e20410379
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing...
Berlin: Springer-Verlag, 2012
e20410485
eBooks Universitas Indonesia Library
