The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Weiterlesen
This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information ...
Weiterlesen
This book constitutes the refereed proceedings of the 13th International Colloquium on Structural Information and Communication ...
Weiterlesen
This book cover topics such as distributed algorithms, compact data structures, information dissemination, informative labeling ...
Weiterlesen
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
Weiterlesen
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Weiterlesen
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Weiterlesen
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Weiterlesen
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Weiterlesen
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Weiterlesen
This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
Weiterlesen
The Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, ...
Weiterlesen
This book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital ...
Weiterlesen
The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Weiterlesen
This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
Weiterlesen
This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...
Weiterlesen
The book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...
Weiterlesen
The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
Weiterlesen
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Weiterlesen
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Weiterlesen