913 search results - page 17 / 183 » Formal Agent Development: Framework to System |
151
Voted
CCECE
2006
IEEE
15 years 8 months 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...
119
click to vote
SSR
2001
15 years 3 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
ACOM
2004
Springer
15 years 5 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
132
Voted
TII
2010
14 years 8 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
93
Voted
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how ...