2282 search results - page 174 / 457 » Active property checking |
138
click to vote
DLOG
2009
15 years 2 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
141
click to vote
IV
2009
IEEE
15 years 11 months ago
2009
IEEE
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
158
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
148
click to vote
GAMESEC
2010
15 years 2 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
190
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...