525 search results - page 40 / 105 » Model Checking Systems of Replicated Processes with Spin |
95
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
137
click to vote
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
112
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
90
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
124
click to vote
NGITS
1999
Springer
15 years 4 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...