220 search results - page 22 / 44 » Logic-Based Agent Verification |
CIMCA
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...
WETICE
2006
IEEE
15 years 3 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...
ICAIL
2007
ACM
15 years 1 months ago
2007
ACM
The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. This papers proposes the use of agent technology to sup...
AGENTS
1998
Springer
15 years 1 months ago
1998
Springer
Certificate management infrastructure, a.k.a. PKI (Public Key Infrastructure), which issues and provides access to public key certificates to preserve the integrity of a public ke...