Sciweavers

714 search results - page 3 / 143
» Verification and Compliance Testing
Sort
View
AAI
2006
89views more  AAI 2006»
13 years 6 months ago
Compliance verification of agent interaction: a logic-based software tool
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fed...
DATE
2008
IEEE
84views Hardware» more  DATE 2008»
14 years 14 days ago
On the Verification of High-Order Constraint Compliance in IC Design
Jan B. Freuer, Göran Jerke, Joachim Gerlach, ...
AGENTCL
2003
Springer
13 years 9 months ago
Model Checking for ACL Compliance Verification
Marc-Philippe Huget, Michael Wooldridge
JOT
2006
53views more  JOT 2006»
13 years 6 months ago
Static Verification of Code Access Security Policy Compliance of .NET Applications
Jan Smans, Bart Jacobs 0002, Frank Piessens
CAISE
2007
Springer
14 years 5 days ago
A Semantic-based Approach for Compliance Management of Internal Controls in Business Processes
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
Kioumars Namiri, Nenad Stojanovic