2024 search results - page 213 / 405 » A Formal Model of Multi-agent Computations |
167
click to vote
CSCWD
2009
Springer
16 years 29 days 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, ...
170
click to vote
LFCS
2007
Springer
16 years 16 days 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...
149
click to vote
SAS
2007
Springer
16 years 15 days 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 ...
161
click to vote
P2P
2006
IEEE
16 years 12 days 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 ...
156
click to vote
INTERSENSE
2006
ACM
16 years 11 days 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...