3729 search results - page 134 / 746 » On Formal Modeling of Agent Computations |
154
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
152
click to vote
SLOGICA
2010
15 years 4 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
162
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
191
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
170
click to vote
CIA
1998
Springer
15 years 10 months ago
1998
Springer
In a simple cooperative MAS model where a collection of "querying agents" can send queries to a collection of "information agents", we formalize the problem of ...