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