789 search results - page 23 / 158 » Pushing using Compliance |
FMCO
2008
Springer
15 years 19 days ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
101
click to vote
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Service level agreements (SLAs) specify performance guarantees made by service providers, typically in terms of packet loss, delay, delay variation, and network availab...
USS
2008
15 years 1 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
100
click to vote
DEON
2010
Springer
15 years 3 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
ICSE
2009
IEEE-ACM
15 years 3 months ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...