3729 search results - page 477 / 746 » On Formal Modeling of Agent Computations |
173
Voted
LFCS
2007
Springer
16 years 24 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...
157
click to vote
SAS
2007
Springer
16 years 24 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 ...
167
click to vote
P2P
2006
IEEE
16 years 21 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 ...
159
click to vote
INTERSENSE
2006
ACM
16 years 19 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...
141
Voted
KCAP
2005
ACM
16 years 7 days 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...