3729 search results - page 139 / 746 » On Formal Modeling of Agent Computations |
153
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
Agent systems are highly distributed and feature widespread coordination and collaboration. Because of these characteristics, a traditional object oriented approach to software de...
209
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
170
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
212
click to vote
CCECE
2006
IEEE
16 years 14 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
192
click to vote
MICAI
2005
Springer
15 years 12 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...