30 search results - page 6 / 6 » Specifying and Enforcing High-Level Semantic Obligation Poli... |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
GPCE
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
TSMC
2010
12 years 11 months ago
2010
Reference models are an important aid for business process modeling and design. Their aim is to capture domain knowledge and assist in the design of enterprise specific business pr...
ECLIPSE
2005
ACM
13 years 6 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...