714 search results - page 2 / 143 » Verification and Compliance Testing |
100
click to vote
ICWE
2010
Springer
14 years 10 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...
110
Voted
ATAL
2008
Springer
15 years 2 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 ...
109
click to vote
COORDINATION
2007
Springer
15 years 6 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
15 years 4 months ago
2006
ACM
86
Voted
ESORICS
2009
Springer
16 years 27 days 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...