2004 search results - page 309 / 401 » Comparison of Model Checking Tools for Information Systems |
SOFTVIS
2006
ACM
15 years 5 months ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
114
click to vote
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
ICEIS
2007
IEEE
15 years 6 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
100
click to vote
CCS
2007
ACM
15 years 6 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 ...
ER
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...