4693 search results - page 42 / 939 » Verifying Hybrid Systems |
107
click to vote
JCS
2008
15 years 14 days 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. ...
98
Voted
HICSS
2003
IEEE
15 years 5 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...
105
Voted
USS
2008
15 years 2 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...
RTSS
2009
IEEE
15 years 7 months ago
2009
IEEE
103
Voted
DAGSTUHL
2008
15 years 1 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...