00805cam0 2200277 450 E60020005338320110617101347.020090911d1943 |||||ita|0103 baitaITSocratecur. Antonio BanfiMilanoGarzanti1943353 p. , 18 cm<I >filosofi(cp)001SOBE000153782001 I *filosofiBanfi, AntonioAF00006154070ITUNISOB20110617RICAUNISOBUNISOB10088022E600200053383M 102 Monografia moderna SBNM100009497Si88022acquistopregresso1UNISOBUNISOB20090911075657.020121031134343.0bethbSocrate97893UNISOB06450nam 22008775 450 991048351460332120251226203036.03-540-87785-110.1007/978-3-540-87785-1(CKB)1000000000490991(SSID)ssj0000320126(PQKBManifestationID)11279035(PQKBTitleCode)TC0000320126(PQKBWorkID)10347455(PQKB)10337723(DE-He213)978-3-540-87785-1(MiAaPQ)EBC3063163(MiAaPQ)EBC6694189(Au-PeEL)EBL6694189(PPN)129063118(EXLCZ)99100000000049099120100301d2008 u| 0engurnn#008mamaatxtccrSoftware Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised Papers /edited by Tony Givargis, Stefano Russo1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (XIV, 432 p.)Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;5287Bibliographic Level Mode of Issuance: Monograph3-540-87784-3 Includes bibliographical references and index.Model-Driven Development -- Using UML 2.1 to Model Multi-agent Systems -- Designing Fault-Tolerant Component Based Applications with a Model Driven Approach -- Model Based Synthesis of Embedded Software -- Formal Specification of Gateways in Integrated Architectures -- Model-Integrated Development of Cyber-Physical Systems -- Middleware -- Towards a Middleware Approach for a Self-configurable Automotive Embedded System -- Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity -- Service Orchestration Using the Chemical Metaphor -- Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture -- Self-describing and Data Propagation Model for Data Distribution Service -- Real Time -- Improving Real-Time Performance of a Virtual Machine Monitor Based System -- A Two-Layered Management Architecture for Building Adaptive Real-Time Systems -- Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning -- An Operating System for a Time-Predictable Computing Node -- Data Services in Distributed Real-Time Embedded Systems -- Quality of Service and Performance -- QoS-Adaptive Router Based on Per-Flow Management over NGN -- Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults -- Cost-Performance Tradeoff for Embedded Systems -- Resolving Performance Anomaly Using ARF-Aware TCP -- Applications -- Context-Aware Deployment of Services in Public Spaces -- An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems -- Cyber Biosphere for Future Embedded Systems -- Leveraging GIS Technologies for Web-Based Smart Places Services -- Pervasive and Mobile Systems -- VeryIDX - A Digital Identity Management System for Pervasive Computing Environments -- Delay-Aware Mobile Transactions.-An Operating System Architecture for Future Information Appliances -- M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks -- Wireless Embedded Systems -- Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems -- A Novel Approach for Security and Robustness in Wireless Embedded Systems -- The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies -- RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices -- Methods for Increasing Coverage in Wireless Sensor Networks -- Synthesis, Verification and Protection -- Locks Considered Harmful: A Look at Non-traditional Synchronization -- From Model Driven Engineering to Verification Driven Engineering -- On Scalable Synchronization for Distributed Embedded Real-Time Systems -- Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture -- Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.This book includes selected papers of the 6th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2008, held on Capri, Italy, in October 2008. The 38 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on model-driven development; middleware; real time; quality of service and performance; applications; pervasive and mobile systems: wireless embedded systems; synthesis, verification and protection.Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;5287Computer networksDatabase managementComputers, Special purposeMicrocomputersElectronic data processingManagementApplication softwareComputer Communication NetworksDatabase ManagementSpecial Purpose and Application-Based SystemsPersonal ComputingIT OperationsComputer and Information Systems ApplicationsComputer networks.Database management.Computers, Special purpose.Microcomputers.Electronic data processingManagement.Application software.Computer Communication Networks.Database Management.Special Purpose and Application-Based Systems.Personal Computing.IT Operations.Computer and Information Systems Applications.004.36Givargis TonyRusso Stefano1964-Brinkschulte UweInternational Federation for Information Processing.IFIP WG 10.2.SEUS (Workshop)MiAaPQMiAaPQMiAaPQBOOK9910483514603321Software Technologies for Embedded and Ubiquitous Systems771986UNINA