LEADER 05423nam 2200625Ia 450 001 9910483224203321 005 20200520144314.0 010 $a3-642-10265-4 024 7 $a10.1007/978-3-642-10265-3 035 $a(CKB)1000000000804457 035 $a(SSID)ssj0000355630 035 $a(PQKBManifestationID)11249955 035 $a(PQKBTitleCode)TC0000355630 035 $a(PQKBWorkID)10321226 035 $a(PQKB)10771896 035 $a(DE-He213)978-3-642-10265-3 035 $a(MiAaPQ)EBC3064778 035 $a(PPN)139962638 035 $a(EXLCZ)991000000000804457 100 $a20090925d2009 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware technologies for embedded and ubiquitous systems $e7th IFIP WG 10.2 international workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 ; proceedings /$fSunggu Lee, Priya Narasimhan (eds.) 205 $a1st ed. 2009. 210 $aNew York ;$aBerlin $cSpringer$dc2009 215 $a1 online resource (XI, 378 p.) 225 1 $aLecture notes in computer science ;$v5860 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-10264-6 320 $aIncludes bibliographical references and index. 327 $aDesign and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme -- Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems -- Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems -- Optimizing Mobile Application Performance with Model?Driven Engineering -- A Single-Path Chip-Multiprocessor System -- Towards Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis and Validation of Software Clocks -- Towards a Statistical Model of a Microprocessor?s Throughput by Analyzing Pipeline Stalls -- Joining a Distributed Shared Memory Computation in a Dynamic Distributed System -- BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network -- DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network -- Development of Field Monitoring Server System and Its Application in Agriculture -- On-Line Model Checking as Operating System Service -- Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems -- Fine-Grained Tailoring of Component Behaviour for Embedded Systems -- MapReduce System over Heterogeneous Mobile Devices -- Towards Time-Predictable Data Caches for Chip-Multiprocessors -- From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach -- Model-Based Testing of GUI-Driven Applications -- Parallelizing Software-Implemented Error Detection -- Model-Based Analysis of Contract-Based Real-Time Scheduling -- Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems -- HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization -- Applying Architectural Hybridization in Networked Embedded Systems -- Concurrency and Communication: Lessons from the SHIM Project -- Location-Aware Web Service by Utilizing Web Contents Including Location Information -- The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems -- Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development -- Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing -- An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections -- Real-Sense Media Representation Technology Using Multiple Devices Synchronization -- Overview of Multicore Requirements towards Real-Time Communication -- Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems. 330 $aThis book constitutes the refereed proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2009, held in Newport Beach, CA, USA, in November 2009. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers address all current issues in embedded and distributed computing, ubiquitous systems, sensor networks, and middleware with a special respect of dependability, real-time, human-computer interaction, autonomy, resource constraints, etc. 410 0$aLecture notes in computer science ;$v5860. 606 $aEmbedded computer systems$xProgramming$vCongresses 606 $aUbiquitous computing$vCongresses 615 0$aEmbedded computer systems$xProgramming 615 0$aUbiquitous computing 676 $a621.3819 686 $aDAT 260f$2stub 686 $aSS 4800$2rvk 701 $aLee$b Sunggu$01757079 701 $aNarasimhan$b Priya$01757080 712 02$aIFIP WG 10.2. 712 02$aInternational Federation for Information Processing. 712 12$aSEUS 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483224203321 996 $aSoftware technologies for embedded and ubiquitous systems$94194721 997 $aUNINA