2282 search results - page 124 / 457 » Active property checking |
127
Voted
SACMAT
2010
ACM
15 years 9 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...
134
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
127
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
We consider active leakage power dissipation in FPGAs and present a “no cost” approach for active leakage reduction. It is well-known that the leakage power consumed by a digi...
135
click to vote
STACS
2001
Springer
15 years 8 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
120
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...