2007 search results - page 96 / 402 » SPECTRUM |
123
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
AC
2003
Springer
15 years 8 months ago
2003
Springer
195
Voted
DANCE
2002
IEEE
15 years 8 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
92
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
120
click to vote
COCOON
2001
Springer
15 years 8 months ago
2001
Springer
abstract appeared in: Proc. of 7th Ann. Int. Computing and Combinatorics Conference, COCOON 2001 (ed. J. Wang), Lecture Notes in Computer Science Vol. 2108, Springer-Verlag, Berlin...