Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

Front Matter....Pages -
An Efficient Method to Create Business Level Events Using Complex Event Processing Based on RFID Standards....Pages 1-10
Physical/Cyber Objects Management Framework for Multiple-Area Detectable RFID....Pages 11-19
A Task Decomposition Scheme for Context Aggregation in Personal Smart Space....Pages 20-29
Distributed k-NN Query Processing for Location Services....Pages 30-39
Ontology Based Context Alignment for Heterogeneous Context Aware Services....Pages 40-46
Community Computing Model Supporting Community Situation Based Strict Cooperation and Conflict Resolution....Pages 47-56
Advancements in Dependable Time-Triggered Communication....Pages 57-66
On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures....Pages 67-81
Probabilistic Optimization and Assessment of Voting Strategies for X-by-Wire Systems....Pages 82-92
Application of Safety Analyses in Model Driven Development....Pages 93-104
Mission Modes for Safety Critical Java....Pages 105-113
Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS....Pages 114-124
Testing Embedded Control Systems with TTCN-3....Pages 125-136
Cross-Platform Verification Framework for Embedded Systems....Pages 137-148
Experimental Analysis on Time-Triggered Power Consumption Measurement with DVS-Enabled Multiple Power Domain Platform....Pages 149-158
A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture....Pages 159-170
An Embedded Integration Prototyping System Based on Component Technique....Pages 171-180
TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies....Pages 181-191
Design and Experimental Validation of UAV Control System Software Based on the TMO Structuring Scheme....Pages 192-201
Lifestyle Ubiquitous Gaming: Computer Games Making Daily Lives Fun....Pages 202-212
Speech Recognition System Using DHMMs Based on Ubiquitous Environment....Pages 213-222
Healthcare Information Management System in Home Environment....Pages 223-232
Effective Appliance Selection by Complementary Context Feeding in Smart Home System....Pages 233-242
Vector Graphic Reference Implementation for Embedded System....Pages 243-252
A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool....Pages 253-262
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking....Pages 263-272
Soft Real-Time Task Response Time Prediction in Dynamic Embedded Systems....Pages 273-282
Transparent and Selective Real-Time Interrupt Services for Performance Improvement....Pages 283-292
An Approach for Energy-Aware Management in Ubiquitous Home Network Environment....Pages 293-300
On-Chip Bus Architecture Optimization for Multi-core SoC Systems....Pages 301-310
An Effective Path Selection Method in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique....Pages 311-318
Self-organizing Resource-Aware Clustering for Ad Hoc Networks....Pages 319-328
Intelligent Context-Awareness System Using Improved Self-adaptive Back Propagation Algorithm....Pages 329-338
Towards an Artificial Hormone System for Self-organizing Real-Time Task Allocation....Pages 339-347
On Self-aware Delay Time Based Service Request Optimization for Gateway Stability in Autonomic Self-healing Systems....Pages 348-357
Algorithmic Skeletons for the Programming of Reconfigurable Systems....Pages 358-367
A Framework for Supporting the Configuration and Automatic Integration of Heterogeneous Location Sensors....Pages 368-377
Searching Visual Media Service Providers Using ASN.1-Based Ontology Reasoning....Pages 378-383
SharedSpace Based Service Discovery Mechanism and Its Implementation for Ubiquitous Environments....Pages 384-388
A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine....Pages 389-393
Configurable Virtual Platform Environment Using SID Simulator and Eclipse....Pages 394-398
An Energy-Efficient k -Disjoint-Path Routing Algorithm for Reliable Wireless Sensor Networks....Pages 399-408
Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff....Pages 409-418
Event-Driven Power Management for Wireless Sensor Networks....Pages 419-428
Time Synchronization in Wireless Sensor Network Applications....Pages 429-435
GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment....Pages 436-445
Energy-Aware Routing for Wireless Sensor Networks by AHP....Pages 446-455
A Wireless System for Real-Time Environmental and Structural Monitoring....Pages 456-465
Integrated Notification Architecture Based on Overlay Against DDoS Attacks on Convergence Network....Pages 466-476
Making Middleware Secure on Embedded Terminals....Pages 477-485
Dynamic Translator-Based Virtualization....Pages 486-495
Mesovirtualization: Lightweight Virtualization Technique for Embedded Systems....Pages 496-505
Building a Customizable User Interface Framework Using Hyperlinks for Smart Devices....Pages 506-515
An Efficient Location Index for the Semantic Search of Moving Objects....Pages 516-526
Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines....Pages 527-536
Design and Implementation of Peripheral Sharing Mechanism on Pervasive Computing with Heterogeneous Environment....Pages 537-546
A Review on System Architectures for Sensor Fusion Applications....Pages 547-559
Back Matter....Pages -