69 search results - page 10 / 14 » Towards SMT Model Checking of Array-Based Systems |
AIM
2006
14 years 11 months ago
2006
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
130
click to vote
FASE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
SP
1997
IEEE
15 years 1 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
OTM
2009
Springer
15 years 4 months ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...