Sciweavers

139 search results - page 3 / 28
» An Agent Modeling Language Implementing Protocols through Ca...
Sort
View
LADS
2007
Springer
14 years 12 days ago
Specifying Interaction Space Components in a FIPA-ACL Interaction Framework
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
Ernesto Germán, Leonid Sheremetov
JCS
2008
119views more  JCS 2008»
13 years 6 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
ECOOP
2010
Springer
13 years 11 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky
AGENTS
1997
Springer
13 years 10 months ago
Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
Subrata Kumar Das, John Fox, D. Elsdon, Peter Hamm...
CASCON
1996
113views Education» more  CASCON 1996»
13 years 7 months ago
Network management views using delegated agents
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...
Germán S. Goldszmidt