top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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)
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]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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)
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]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui