6677 search results - page 1034 / 1336 » Distributed Simulation of MAS |
165
click to vote
MEMOCODE
2006
IEEE
16 years 23 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
173
click to vote
NDSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
154
click to vote
NOMS
2006
IEEE
16 years 23 days ago
2006
IEEE
— This work considers the problem of hosting multiple third-party Internet services in a cost-effective manner so as to maximize a provider’s business objective. For this purpo...
159
click to vote
PERCOM
2006
ACM
16 years 23 days ago
2006
ACM
As mobile ad hoc networks (MANETs) become ever more popular, it also becomes more and more interesting to build distributed network applications (e.g. data storage, etc.) that hav...
187
click to vote
QEST
2006
IEEE
16 years 23 days ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...