1796 search results - page 113 / 360 » An Approach to Compositional Model Checking |
AICT
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
MOBIS
2008
13 years 11 months ago
2008
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...
SACMAT
2010
ACM
14 years 3 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
ICCAD
2007
IEEE
14 years 2 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
ISSS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci...