955 search results - page 54 / 191 » Model Checking Operator Procedures |
105
Voted
SACMAT
2010
ACM
15 years 7 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...
103
click to vote
WSC
2004
15 years 3 months ago
2004
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...
175
click to vote
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
120
click to vote
FORTE
2007
15 years 3 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
115
click to vote
CADE
2006
Springer
15 years 6 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...