3729 search results - page 477 / 746 » On Formal Modeling of Agent Computations |
198
click to vote
LFCS
2007
Springer
16 years 1 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...
180
click to vote
SAS
2007
Springer
16 years 1 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 ...
181
click to vote
P2P
2006
IEEE
16 years 1 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 ...
186
click to vote
INTERSENSE
2006
ACM
16 years 1 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...
169
click to vote
KCAP
2005
ACM
16 years 1 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...