Sciweavers

24

SFM
2005
Springer

78views Formal Methods» more SFM 2005»

Network Swapping

14 years 6 months ago

Network Swapping

Download www.sti.uniurb.it

Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bo...

claim paper

Read More »

39

SFM
2005
Springer

97views Formal Methods» more SFM 2005»

Dealing with Node Mobility in Ad Hoc Wireless Network

14 years 6 months ago

Dealing with Node Mobility in Ad Hoc Wireless Network

Download www.iis.sinica.edu.tw

Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Z...

claim paper

Read More »

46

SFM
2005
Springer

243views Formal Methods» more SFM 2005»

Hermes: Agent-Based Middleware for Mobile Computing

14 years 6 months ago

Hermes: Agent-Based Middleware for Mobile Computing

Download www.cs.unicam.it

Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...

Flavio Corradini, Emanuela Merelli

claim paper

Read More »

27

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

14 years 6 months ago

Mobile Distributed Programming in X-Klaim

Download www.sti.uniurb.it

Lorenzo Bettini, Rocco De Nicola

claim paper

Read More »

27

SFM
2005
Springer

71views Formal Methods» more SFM 2005»

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

14 years 6 months ago

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

Download www.sti.uniurb.it

Andrea Acquaviva, Alessandro Aldini, Marco Bernard...

claim paper

Read More »