Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007 [Paperback]

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held on Santorini Island, Greece, in May 2007 in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing.

The 31 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on ubiquitous computing frameworks, safety-critical systems, validation of embedded and ubiquitous systems, ubiquitous computing applications, scheduling and non functional properties, self-organization and reconfiguration, service discovery and development platform, wireless networks, middleware architectures and virtualization, and environment interaction.

Ubiquitous Computing Frameworks.- An Efficient Method to Create Business Level Events Using Complex Event Processing Based on RFID Standards.- Physical/Cyber Objects Management Framework for Multiple-Area Detectable RFID.- A Task Decomposition Scheme for Context Aggregation in Personal Smart Space.- Distributed k-NN Query Processing for Location Services.- Ontology Based Context Alignment for Heterogeneous Context Aware Services.- Community Computing Model Supporting Community Situation Based Strict Cooperation and Conflict Resolution.- Safety-Critical Systems.- Advancements in Dependable Time-Triggered Communication.- On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures.- Probabilistic Optimization and Assessment of Voting Strategies for X-by-Wire Systems.- Application of Safety Analyses in Model Driven Development.- Mission Modes for Safety Critical Java.- Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.- Validation of Embedded and Ubiquitous Systems.- Testing Embel³á