LEADER 07094nam 22008535 450 001 996466278703316 005 20200703102419.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 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Technologies for Embedded and Ubiquitous Systems$b[electronic resource] $e7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /$fedited by Sunggu Lee, Priya Narasimhan 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 378 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$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$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5860 606 $aComputer communication systems 606 $aArtificial intelligence 606 $aInformation storage and retrieval 606 $aSpecial purpose computers 606 $aApplication software 606 $aUser interfaces (Computer systems) 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 608 $aKongress.$2swd 608 $aNewport Beach (Calif., 2009)$2swd 615 0$aComputer communication systems. 615 0$aArtificial intelligence. 615 0$aInformation storage and retrieval. 615 0$aSpecial purpose computers. 615 0$aApplication software. 615 0$aUser interfaces (Computer systems). 615 14$aComputer Communication Networks. 615 24$aArtificial Intelligence. 615 24$aInformation Storage and Retrieval. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aUser Interfaces and Human Computer Interaction. 676 $a621.3819 686 $aDAT 260f$2stub 686 $aSS 4800$2rvk 702 $aLee$b Sunggu$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNarasimhan$b Priya$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aIFIP WG 10.2. 712 02$aInternational Federation for Information Processing. 712 12$aSEUS 2009 906 $aBOOK 912 $a996466278703316 996 $aSoftware Technologies for Embedded and Ubiquitous Systems$9771986 997 $aUNISA