LEADER 00793cam0 22002531 450 001 SOBE00019122 005 20150417100525.0 010 $a0674910257 100 $a20111028d1979 |||||ita|0103 ba 101 $aeng 102 $aUS 200 1 $aTruth in History$fOscar Handlin 210 $aCambridge$aMassachussetts$aLondon$cThe Belknap Press$d1979 215 $aIX,437 p.$d23 cm 700 1$aHandlin$b, Oscar$3A600200049420$4070$067977 801 0$aIT$bUNISOB$c20150417$gRICA 850 $aUNISOB 852 $aUNISOB$j820$m30456 912 $aSOBE00019122 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a820$b000181$gSI$d30456$racquisto$tN$1Aulino$2UNISOB$3UNISOB$420111028100552.0$520150417100525.0$6Alfano 996 $aTruth in History$91721079 997 $aUNISOB LEADER 06617nam 22008895 450 001 9910483224203321 005 20251226202554.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 $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,$x2946-1642 ;$v5860 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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 andMassively 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,$x2946-1642 ;$v5860 606 $aComputer networks 606 $aArtificial intelligence 606 $aInformation storage and retrieval systems 606 $aComputers, Special purpose 606 $aApplication software 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aComputer Communication Networks 606 $aArtificial Intelligence 606 $aInformation Storage and Retrieval 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer and Information Systems Applications 606 $aUser Interfaces and Human Computer Interaction 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aInformation storage and retrieval systems. 615 0$aComputers, Special purpose. 615 0$aApplication software. 615 0$aUser interfaces (Computer systems) 615 0$aHuman-computer interaction. 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$aComputer and Information Systems Applications. 615 24$aUser Interfaces and Human Computer Interaction. 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