LEADER 04740nam 2200649 a 450 001 9910483193503321 005 20200520144314.0 024 7 $a10.1007/b135888 035 $a(CKB)1000000000212917 035 $a(SSID)ssj0000317717 035 $a(PQKBManifestationID)11224129 035 $a(PQKBTitleCode)TC0000317717 035 $a(PQKBWorkID)10308022 035 $a(PQKB)10236460 035 $a(DE-He213)978-3-540-32021-0 035 $a(MiAaPQ)EBC3067559 035 $a(PPN)123094089 035 $a(BIP)11892651 035 $a(EXLCZ)991000000000212917 100 $a20050311d2005 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal methods for mobile computing $e5th 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 /$fMarco Bernardo, Alessandro Bogliolo (eds.) 205 $a1st ed. 2005. 210 $aBerlin $cSpringer$dc2005 215 $a1 online resource (VIII, 272 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3465 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540256977 320 $aIncludes bibliographical references and index. 327 $aModels 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. 330 $aThisvolumecollectsasetofpapersaccompanyingthelecturesofthe'fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication and software systems. The main aim of the SFM series is to o'er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2005 (Moby) was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. This volume is organized into four parts related to mobile computing, which cover models and languages, scalability and performance, dynamic power management, and m- dleware support. Each part is composed of two papers. The opening paper by Montanari and Pistore gives an overview of histo- dependent automata, an extension of ordinary automata that overcomes their limitations in dealing with named calculi. In particular, the authors show that history-dependent automata allow for a compact representation of?-calculus processes, which is suitable both for theoretical investigations and for the v- i'cation of models of agents and code mobility. Bettini and De Nicola's - per presents X-Klaim, an experimental programming language speci'cally - signed to develop distributed systems composed of several components intera- ing through multiple distributed tuple spaces and mobile code. Through a series of examples, the authors show that many mobile code programming paradigms can be naturally implemented by means of the considered language, which c- bines explicit localities as ?rst-class data with coordination primitives. 410 0$aLecture notes in computer science ;$v3465. 517 3 $a5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems :$eSFM-Moby 2005 517 3 $aSFM-Moby 2005 606 $aFormal methods (Computer science)$vCongresses 606 $aMobile computing$vCongresses 606 $aComputer software$vCongresses 606 $aSystem design$vCongresses 615 0$aFormal methods (Computer science) 615 0$aMobile computing 615 0$aComputer software 615 0$aSystem design 676 $a005.13/1 701 $aBernardo$b Marco$01754236 701 $aBogliolo$b Alessandro$01754237 712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483193503321 996 $aFormal methods for mobile computing$94190480 997 $aUNINA