5599 search results - page 119 / 1120 » Abstract State Services |
112
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
113
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
106
click to vote
SERVICES
2008
15 years 3 months ago
2008
The problem we deal with in this paper is the dynamic substitution of stateful services that become unavailable during the execution of service orchestrations. Previous research e...
121
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
121
click to vote
AC
2000
Springer
15 years 1 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...