4693 search results - page 42 / 939 » Verifying Hybrid Systems |
144
click to vote
JCS
2008
15 years 4 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
136
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
136
Voted
USS
2008
15 years 6 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
139
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...