564 search results - page 89 / 113 » Proof General: A Generic Tool for Proof Development |
HRI
2009
ACM
14 years 2 months ago
2009
ACM
Simultaneous teleoperation of mobile, social robots presents unique challenges, combining the real-time demands of conversation with the prioritized scheduling of navigational tas...
TRIDENTCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper introduces DRIVE, a reconfigurable demonstrator that will allow for experimental validation of vehicular networking research, as well as proof of concept and realistic ...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
ACNS
2003
Springer
14 years 26 days ago
2003
Springer
Distributed key generation is one of the most challenging tasks for threshold cryptosystems. Designing such a protocol and proving its security against a malicious, adaptive adver...