Sciweavers

1652 search results - page 2 / 331
» Agent Architectures for Compliance
Sort
View
AGENTCL
2003
Springer
13 years 9 months ago
Model Checking for ACL Compliance Verification
Marc-Philippe Huget, Michael Wooldridge
POLICY
2005
Springer
13 years 10 months ago
An Audit Logic for Accountability
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, ...
BPSC
2009
200views Business» more  BPSC 2009»
13 years 6 months ago
A Semantic Framework for Compliance Management in Business Process Management
: In process-centric enterprises, business processes (BPs) are at the center of value-creating activities. Governing enterprise BPs requires the ability to control and guide BP beh...
Marwane El Kharbili, Elke Pulvermüller
CSFW
2009
IEEE
14 years 2 days ago
Policy Compliance in Collaborative Systems
When collaborating agents share sensitive information to achieve a common goal it would be helpful to them to decide whether doing so will lead to an unwanted release of confiden...
Max I. Kanovich, Paul Rowe, Andre Scedrov
ATAL
2003
Springer
13 years 9 months ago
Verification and Compliance Testing
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
Frank Guerin, Jeremy Pitt