2024 search results - page 213 / 405 » A Formal Model of Multi-agent Computations |
137
Voted
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
141
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
124
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
126
click to vote
P2P
2006
IEEE
15 years 10 months ago
2006
IEEE
Flat DHT architectures have been the main focus of the research on DHT design so far. However, there have been also a number of works proposing hierarchical DHT organizations and ...
131
click to vote
INTERSENSE
2006
ACM
15 years 10 months ago
2006
ACM
—We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism wit...