154 search results - page 6 / 31 » atal 2003 |
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
ÒØ ÒØ Ö Ø ÓÒ Ò Ö Ð ×Ø ÔÔÐ Ø ÓÒ× × ×Ù Ø ØÓ Ñ ÒÝ ÓÖÑ× Ó ÙÒ ÖØ ÒØÝ ß Ò ÐÙ Ò Ò ÓÖÑ Ø ÓÒ Ò Ò ØÛÓÖ ÙÒ ÖØ ÒØݸ ØÖÙ×...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. In recent years, mobile ad-hoc networks (MANETs) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability t...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...