1676 search results - page 3 / 336 » Formal Development of Self-organising Systems |
PERCOM
2008
ACM
13 years 5 months ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
ISOLA
2007
Springer
13 years 11 months ago
2007
Springer
FM
1999
Springer
13 years 9 months ago
1999
Springer
DSVIS
1998
Springer
13 years 9 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
HASE
2008
IEEE
13 years 11 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...