Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems
This book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes ...
Continue reading
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue reading
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Continue reading
Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Continue reading
Semantic Systems. The Power of AI and Knowledge Graphs
This book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...
Continue reading
Smart Homes and Health Telematics : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings
The book is organized in topical sections on assistive technology to improve quality of life for older adults and their caregivers; ...
Continue reading
Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14–15, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, ...
Continue reading
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
Continue reading
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 ...
Continue reading
Symbiotic Interaction
The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The ...
Continue reading
The Definitive Guide to SOA : Oracle® Service Bus
The Definitive Guide to SOA: Oracle® Service Bus, Second Edition targets professional software developers and architects ...
Continue reading
The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings
The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Continue reading
The Once-Only Principle The TOOP Project
This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
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 ...
Continue reading
Wireless Sensor Networks : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, ...
Continue reading
