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