502 search results - page 2 / 101 » Development and Application of a Formal Agent Framework |
IAT
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--The development of large-scale distributed multiagent systems in open dynamic environments is a challenge. System behavior is often not predictable and can only be evalua...
IRI
2009
IEEE
13 years 11 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
ICMAS
1998
13 years 6 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
WETICE
2005
IEEE
13 years 10 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
ENTCS
2008
13 years 5 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...