Items related to Formal Methods for Mobile Computing: 5th International...
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3465) - Softcover
Formal Methods for Mobile Computing This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
"synopsis" may belong to another edition of this title.
Synopsis:
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2005
- ISBN 10 3540256970
- ISBN 13 9783540256977
- BindingPaperback
- Number of pages280
- EditorBernardo Marco, Bogliolo Alessandro
Top Search Results from the AbeBooks Marketplace
Seller Image
Formal Methods for Mobile Computing (Lecture Notes in Computer Science (3465)) by Bernardo, Marco, Bogliolo, Alessandro [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540256977
Buy New
£ 44.57
Convert currency
Stock Image
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . (Lecture Notes in Computer Science, 3465)
Published by
Springer
(2008)
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020164258
Buy New
£ 47.82
Convert currency
Seller Image
Formal Methods for Mobile Computing : 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
Seller:
Rating
Book Description Condition: New. Seller Inventory # 4117333-n
Buy New
£ 48.90
Convert currency
Stock Image
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer; Communication; and Software Systems; SFM-Moby 2005; Bertinoro; Italy; April 26-30; 2005; Ad
Published by
Springer
(2008)
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540256977_lsuk
Buy New
£ 48.96
Convert currency
Stock Image
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540256977
Buy New
£ 45.09
Convert currency
Seller Image
Formal Methods for Mobile Computing
Published by
Springer Berlin Heidelberg Apr 2005
(2005)
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Taschenbuch
Signed
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe 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. 284 pp. Englisch. Seller Inventory # 9783540256977
Buy New
£ 46.85
Convert currency
Seller Image
Formal Methods for Mobile Computing : 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
Seller:
Rating
Book Description Condition: New. Seller Inventory # 4117333-n
Buy New
£ 56.28
Convert currency
Stock Image
Formal Methods for Mobile Computing
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(2005)
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Softcover
Quantity: 15
Seller:
Rating
Book Description Condition: New. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 408. . 2005. Paperback. . . . . Seller Inventory # V9783540256977
Buy New
£ 67.06
Convert currency
Seller Image
Formal Methods for Mobile Computing : 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
Published by
Springer Berlin Heidelberg
(2008)
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputersc ience 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. Seller Inventory # 9783540256977
Buy New
£ 49.44
Convert currency
Seller Image
Formal Methods for Mobile Computing
Published by
Springer Berlin Heidelberg
(2005)
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Man. Seller Inventory # 4886586
Buy New
£ 42.37
Convert currency