Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
اقرأ المزيد
Structural Information and Communication Complexity : 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings
This book cover topics such as distributed algorithms, compact data structures, information dissemination, informative labeling ...
اقرأ المزيد
Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
اقرأ المزيد
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
اقرأ المزيد
Swarm Intelligence : Introduction and Applications
The laws that govern the collective behavior of social insects, flocks of birds, or fish schools continue to mesmerize researchers. ...
اقرأ المزيد
System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
اقرأ المزيد
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيد
System Modeling and Optimization (vol. # 199)
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Systems, Control, Modeling and Optimization
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Technologies for Business Information Systems
Technologies for Business Information Systems The material collected in this book covers a broad range of applications of ...
اقرأ المزيد
Technologies for E-Learning and Digital Entertainment
A total of 90 papers were selected, after peer review, for this volume. Topics of these papers fall into six diff- ent areas ...
اقرأ المزيد
The Semantic Web - ISWC 2006
this sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...
اقرأ المزيد
Theoretical Aspects of Computing - ICTAC 2004
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
اقرأ المزيد
Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
اقرأ المزيد
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيد
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development II
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
اقرأ المزيد
