1525 search results - page 149 / 305 » Formal Models for Communication-Based Design |
AUSAI
2005
Springer
15 years 6 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
93
Voted
TCAD
2008
15 years 22 days ago
2008
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
103
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
93
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
129
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...