790 search results - page 94 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
117
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
164
Voted
DKE
2008
15 years 3 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
120
Voted
FOAL
2008
ACM
15 years 5 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
143
Voted
ENTCS
2007
15 years 3 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
135
Voted
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...