1054 search results - page 46 / 211 » From a Verified Kernel towards Verified Systems |
CSI
2010
15 years 2 months ago
2010
Current electronic voting systems are not sufficient to satisfy trustworthy elections as they do not provide any proofs or confirming evidences of their honesty. This lack of trust...
125
Voted
INFOCOM
2010
IEEE
15 years 13 days ago
2010
IEEE
—To address energy constraint problem in sensor networks, node reclamation and replacement strategy has been proposed for networks accessible to human beings and robots. The majo...
102
click to vote
HVEI
2009
14 years 11 months ago
2009
We present the design of a spherical imaging system with the following properties: (i) A 4 field of view that enables it to "see" in all directions; (ii) a single center...
130
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
107
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...