Software technologies for embedded and ubiquitous systems : 5th IFIP WG 10.2 international workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007 : revised papers / / Roman Obermaisser [and three others] (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
Descrizione fisica | 1 online resource (XIV, 563 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Embedded computer systems - Programming
Ubiquitous computing Electronic data processing - Distributed processing |
ISBN | 3-540-75664-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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 Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework for Embedded Systems -- Experimental Analysis on Time-Triggered Power Consumption Measurement with DVS-Enabled Multiple Power Domain Platform -- A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture -- An Embedded Integration Prototyping System Based on Component Technique -- Ubiquitous Computing Applications -- TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies -- Design and Experimental Validation of UAV Control System Software Based on the TMO Structuring Scheme -- Lifestyle Ubiquitous Gaming: Computer Games Making Daily Lives Fun -- Speech Recognition System Using DHMMs Based on Ubiquitous Environment -- Healthcare Information Management System in Home Environment -- Effective Appliance Selection by Complementary Context Feeding in Smart Home System -- Vector Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool -- Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking -- Soft Real-Time Task Response Time Prediction in Dynamic Embedded Systems -- Transparent and Selective Real-Time Interrupt Services for Performance Improvement -- An Approach for Energy-Aware Management in Ubiquitous Home Network Environment -- On-Chip Bus Architecture Optimization for Multi-core SoC Systems -- An Effective Path Selection Method in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique -- Self-organization and Reconfiguration -- Self-organizing Resource-Aware Clustering for Ad Hoc Networks -- Intelligent Context-Awareness System Using Improved Self-adaptive Back Propagation Algorithm -- Towards an Artificial Hormone System for Self-organizing Real-Time Task Allocation -- On Self-aware Delay Time Based Service Request Optimization for Gateway Stability in Autonomic Self-healing Systems -- Algorithmic Skeletons for the Programming of Reconfigurable Systems -- A Framework for Supporting the Configuration and Automatic Integration of Heterogeneous Location Sensors -- Service Discovery and Development Platform -- Searching Visual Media Service Providers Using ASN.1-Based Ontology Reasoning -- SharedSpace Based Service Discovery Mechanism and Its Implementation for Ubiquitous Environments -- A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine -- Configurable Virtual Platform Environment Using SID Simulator and Eclipse -- Wireless Networks -- An Energy-Efficient k-Disjoint-Path Routing Algorithm for Reliable Wireless Sensor Networks -- Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff -- Event-Driven Power Management for Wireless Sensor Networks -- Time Synchronization in Wireless Sensor Network Applications -- GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment -- Energy-Aware Routing for Wireless Sensor Networks by AHP -- A Wireless System for Real-Time Environmental and Structural Monitoring -- Middleware Architectures and Virtualization -- Integrated Notification Architecture Based on Overlay Against DDoS Attacks on Convergence Network -- Making Middleware Secure on Embedded Terminals -- Dynamic Translator-Based Virtualization -- Mesovirtualization: Lightweight Virtualization Technique for Embedded Systems -- Environment Interaction -- Building a Customizable User Interface Framework Using Hyperlinks for Smart Devices -- An Efficient Location Index for the Semantic Search of Moving Objects -- Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines -- Design and Implementation of Peripheral Sharing Mechanism on Pervasive Computing with Heterogeneous Environment -- A Review on System Architectures for Sensor Fusion Applications. |
Record Nr. | UNINA-9910483358703321 |
Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software technologies for embedded and ubiquitous systems : 5th IFIP WG 10.2 international workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007 : revised papers / / Roman Obermaisser [and three others] (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
Descrizione fisica | 1 online resource (XIV, 563 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Embedded computer systems - Programming
Ubiquitous computing Electronic data processing - Distributed processing |
ISBN | 3-540-75664-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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 Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework for Embedded Systems -- Experimental Analysis on Time-Triggered Power Consumption Measurement with DVS-Enabled Multiple Power Domain Platform -- A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture -- An Embedded Integration Prototyping System Based on Component Technique -- Ubiquitous Computing Applications -- TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies -- Design and Experimental Validation of UAV Control System Software Based on the TMO Structuring Scheme -- Lifestyle Ubiquitous Gaming: Computer Games Making Daily Lives Fun -- Speech Recognition System Using DHMMs Based on Ubiquitous Environment -- Healthcare Information Management System in Home Environment -- Effective Appliance Selection by Complementary Context Feeding in Smart Home System -- Vector Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool -- Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking -- Soft Real-Time Task Response Time Prediction in Dynamic Embedded Systems -- Transparent and Selective Real-Time Interrupt Services for Performance Improvement -- An Approach for Energy-Aware Management in Ubiquitous Home Network Environment -- On-Chip Bus Architecture Optimization for Multi-core SoC Systems -- An Effective Path Selection Method in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique -- Self-organization and Reconfiguration -- Self-organizing Resource-Aware Clustering for Ad Hoc Networks -- Intelligent Context-Awareness System Using Improved Self-adaptive Back Propagation Algorithm -- Towards an Artificial Hormone System for Self-organizing Real-Time Task Allocation -- On Self-aware Delay Time Based Service Request Optimization for Gateway Stability in Autonomic Self-healing Systems -- Algorithmic Skeletons for the Programming of Reconfigurable Systems -- A Framework for Supporting the Configuration and Automatic Integration of Heterogeneous Location Sensors -- Service Discovery and Development Platform -- Searching Visual Media Service Providers Using ASN.1-Based Ontology Reasoning -- SharedSpace Based Service Discovery Mechanism and Its Implementation for Ubiquitous Environments -- A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine -- Configurable Virtual Platform Environment Using SID Simulator and Eclipse -- Wireless Networks -- An Energy-Efficient k-Disjoint-Path Routing Algorithm for Reliable Wireless Sensor Networks -- Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff -- Event-Driven Power Management for Wireless Sensor Networks -- Time Synchronization in Wireless Sensor Network Applications -- GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment -- Energy-Aware Routing for Wireless Sensor Networks by AHP -- A Wireless System for Real-Time Environmental and Structural Monitoring -- Middleware Architectures and Virtualization -- Integrated Notification Architecture Based on Overlay Against DDoS Attacks on Convergence Network -- Making Middleware Secure on Embedded Terminals -- Dynamic Translator-Based Virtualization -- Mesovirtualization: Lightweight Virtualization Technique for Embedded Systems -- Environment Interaction -- Building a Customizable User Interface Framework Using Hyperlinks for Smart Devices -- An Efficient Location Index for the Semantic Search of Moving Objects -- Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines -- Design and Implementation of Peripheral Sharing Mechanism on Pervasive Computing with Heterogeneous Environment -- A Review on System Architectures for Sensor Fusion Applications. |
Record Nr. | UNISA-996465294603316 |
Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2005 |
Soggetto topico |
Embedded computer systems - Programming
Ubiquitous computing - Distributed processing Electronic data processing Real-time data processing Engineering & Applied Sciences Computer Science |
ISBN | 1-5386-0120-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996202413703316 |
[Place of publication not identified], : IEEE Computer Society, 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2005 |
Soggetto topico |
Embedded computer systems - Programming
Ubiquitous computing - Distributed processing Electronic data processing Real-time data processing Engineering & Applied Sciences Computer Science |
ISBN | 1-5386-0120-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910146538003321 |
[Place of publication not identified], : IEEE Computer Society, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|