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

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Software Technologies for Embedded and Ubiquitous Systems
3. Altmetric Badge
   Chapter 2 Designing Fault-Tolerant Component Based Applications with a Model Driven Approach
4. Altmetric Badge
   Chapter 3 Model Based Synthesis of Embedded Software
5. Altmetric Badge
   Chapter 4 Formal Specification of Gateways in Integrated Architectures
6. Altmetric Badge
   Chapter 5 Model-Integrated Development of Cyber-Physical Systems
7. Altmetric Badge
   Chapter 6 Towards a Middleware Approach for a Self-configurable Automotive Embedded System
8. Altmetric Badge
   Chapter 7 Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity
9. Altmetric Badge
   Chapter 8 Service Orchestration Using the Chemical Metaphor
10. Altmetric Badge
    Chapter 9 Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture
11. Altmetric Badge
    Chapter 10 Self-describing and Data Propagation Model for Data Distribution Service
12. Altmetric Badge
    Chapter 11 Improving Real-Time Performance of a Virtual Machine Monitor Based System
13. Altmetric Badge
    Chapter 12 A Two-Layered Management Architecture for Building Adaptive Real-Time Systems
14. Altmetric Badge
    Chapter 13 Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning
15. Altmetric Badge
    Chapter 14 An Operating System for a Time-Predictable Computing Node
16. Altmetric Badge
    Chapter 15 Data Services in Distributed Real-Time Embedded Systems
17. Altmetric Badge
    Chapter 16 QoS-Adaptive Router Based on Per-Flow Management over NGN
18. Altmetric Badge
    Chapter 17 Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults
19. Altmetric Badge
    Chapter 18 Cost-Performance Tradeoff for Embedded Systems
20. Altmetric Badge
    Chapter 19 Resolving Performance Anomaly Using ARF-Aware TCP
21. Altmetric Badge
    Chapter 20 Context-Aware Deployment of Services in Public Spaces
22. Altmetric Badge
    Chapter 21 Software Technologies for Embedded and Ubiquitous Systems
23. Altmetric Badge
    Chapter 22 Cyber Biosphere for Future Embedded Systems
24. Altmetric Badge
    Chapter 23 Leveraging GIS Technologies for Web-Based Smart Places Services
25. Altmetric Badge
    Chapter 24 VeryIDX - A Digital Identity Management System for Pervasive Computing Environments
26. Altmetric Badge
    Chapter 25 Delay-Aware Mobile Transactions
27. Altmetric Badge
    Chapter 26 An Operating System Architecture for Future Information Appliances
28. Altmetric Badge
    Chapter 27 M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks
29. Altmetric Badge
    Chapter 28 Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems
30. Altmetric Badge
    Chapter 29 A Novel Approach for Security and Robustness in Wireless Embedded Systems
31. Altmetric Badge
    Chapter 30 The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies
32. Altmetric Badge
    Chapter 31 RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices
33. Altmetric Badge
    Chapter 32 Methods for Increasing Coverage in Wireless Sensor Networks
34. Altmetric Badge
    Chapter 33 Locks Considered Harmful: A Look at Non-traditional Synchronization
35. Altmetric Badge
    Chapter 34 From Model Driven Engineering to Verification Driven Engineering
36. Altmetric Badge
    Chapter 35 On Scalable Synchronization for Distributed Embedded Real-Time Systems
37. Altmetric Badge
    Chapter 36 Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture
38. Altmetric Badge
    Chapter 37 Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking