1054 search results - page 74 / 211 » From a Verified Kernel towards Verified Systems |
151
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Packets sent using the IP protocol include the IP address of the sending host. The recipient directs replies to the sender using this source address. However, the correctness of t...
148
click to vote
AVI
1998
15 years 7 months ago
1998
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...
133
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
—Rehabilitation robots, together with vision and audio systems form the multimodal environment for exercising the person in a number of ways, unavoidably influencing the physiolo...
239
click to vote
SBMF
2010
Springer
15 years 28 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
156
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...