4693 search results - page 402 / 939 » Verifying Hybrid Systems |
215
click to vote
ACL
2010
15 years 4 months ago
2010
This paper describes the KomParse system, a natural-language dialog system in the three-dimensional virtual world Twinity. In order to fulfill the various communication demands be...
218
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
211
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
139
click to vote
PERVASIVE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper proposes a novel interactive technique, the EyeCatcher, which helps photographers capture a variety of natural looking facial expressions of their subjects, by...
281
click to vote
INFOCOM
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— Peer-to-peer content distribution networks can suffer from malicious participants that corrupt content. Current systems verify blocks with traditional cryptographic sig...