2004 search results - page 53 / 401 » Comparison of Model Checking Tools for Information Systems |
OTM
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
ISW
2004
Springer
15 years 5 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
SIGIR
2003
ACM
15 years 5 months ago
2003
ACM
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...