714 search results - page 2 / 143 » Verification and Compliance Testing |
ICWE
2010
Springer
13 years 3 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
COORDINATION
2007
Springer
13 years 11 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
ASPDAC
2006
ACM
13 years 9 months ago
2006
ACM
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...