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
Textbook SFM-Moby 2005

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


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

Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences