03772nam 22007095 450 99646580390331620200704070347.010.1007/b135888(CKB)1000000000212917(SSID)ssj0000317717(PQKBManifestationID)11224129(PQKBTitleCode)TC0000317717(PQKBWorkID)10308022(PQKB)10236460(DE-He213)978-3-540-32021-0(MiAaPQ)EBC3067559(PPN)123094089(EXLCZ)99100000000021291720101221d2005 u| 0engurnn|008mamaatxtccrFormal Methods for Mobile Computing[electronic resource] 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /edited by Marco Bernardo, Alessandro Bogliolo1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 272 p.) Programming and Software Engineering ;3465Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540256977 Includes bibliographical references and index.Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Strategies Within the IEEE 802.11 Standard -- Middleware Support -- Network Swapping -- Hermes: Agent-Based Middleware for Mobile Computing.Programming and Software Engineering ;3465Computer communication systemsSoftware engineeringProgramming languages (Electronic computers)Computer logicSpecial purpose computersComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSpecial Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Computer communication systems.Software engineering.Programming languages (Electronic computers).Computer logic.Special purpose computers.Computer Communication Networks.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Special Purpose and Application-Based Systems.005.13/1Bernardo Marcoedthttp://id.loc.gov/vocabulary/relators/edtBogliolo Alessandroedthttp://id.loc.gov/vocabulary/relators/edtInternational School on Formal Methods for the Design of Computer, Communication, and Software SystemsBOOK996465803903316Formal Methods for Mobile Computing772649UNISA