6722 search results - page 379 / 1345 » The DSML4MAS development environment |
155
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
Mobile agent systems have many attractive features including asynchrony, openness, dynamicity and anonymity, which makes them indispensable in designing complex modern application...
170
click to vote
LCN
2005
IEEE
16 years 13 days ago
2005
IEEE
It is known that analytic modelling for TCP latency is a non trivial task. Recently, some significant progress has been made, such as the comprehensive result by Sikdar et al. Ho...
144
click to vote
PADS
2005
ACM
16 years 12 days ago
2005
ACM
The RINSE simulator is being developed to support large-scale network security preparedness and training exercises, involving hundreds of players and a modeled network composed of...
201
click to vote
SIGMOD
2005
ACM
16 years 12 days ago
2005
ACM
With the growing importance of systems containing arbitrary semistructured relationships, the need for supporting users searching in such repositories has grown. Currently support...
254
click to vote
CHARME
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...