182 search results - page 25 / 37 » Design by Contract Deontic Design Language for Multiagent Sy... |
100
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
115
click to vote
ISPE
2003
15 years 1 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
ACOM
2004
Springer
15 years 3 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...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
117
click to vote
PET
2004
Springer
15 years 5 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...