20 search results - page 2 / 4 » iceccs 2007 |
ICECCS
2007
IEEE
13 years 8 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this extended abstract we summarize our consulting work, scientiļ¬c research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish governmentā...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the Āµcalculus ...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the ...
ICECCS
2007
IEEE
13 years 8 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...