1998 search results - page 172 / 400 » Situated Control Rules |
144
click to vote
ER
2010
Springer
15 years 3 months ago
2010
Springer
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be ...
157
click to vote
GG
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
157
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
119
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— In the current Internet, compliance with TCP congestion control rules is voluntary. Noncompliant flows can gain unfair performance advantages or deny service to other flows. ...
130
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...