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

  • Marco Bernardo
  • Alessandro Bogliolo

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3465)

Table of contents

  1. Front Matter
  2. Models and Languages

    1. Ugo Montanari, Marco Pistore
      Pages 1-28
    2. Lorenzo Bettini, Rocco De Nicola
      Pages 29-68
  3. Scalability and Performance

    1. Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang et al.
      Pages 69-106
    2. Vincenzo Grassi
      Pages 107-154
  4. Dynamic Power Management

    1. A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, E. Lattanzi
      Pages 155-189
    2. Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi
      Pages 190-214
  5. Middleware Support

    1. Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo
      Pages 215-233
    2. Flavio Corradini, Emanuela Merelli
      Pages 234-270
  6. Back Matter

About this book

Keywords

IEEE 80 IEEE 802.11 Middleware Scala ad-hoc wireless networking agent-based middleware automata formal methods mobile computing mobile distributed programming performance analysis power management software design software development systems design

Editors and affiliations

  • Marco Bernardo
    • 1
  • Alessandro Bogliolo
    • 2
  1. 1.Istituto di Scienze e Tecnologie dell’InformazioneUniversità di Urbino “Carlo Bo”Italy
  2. 2.STIUniversity of UrbinoUrbinoItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b135888
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25697-7
  • Online ISBN 978-3-540-32021-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering