1463 search results - page 256 / 293 » Model Checking Implicit-Invocation Systems |
105
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
102
click to vote
SACMAT
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
114
click to vote
APN
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
105
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...