1142 search results - page 66 / 229 » TAST-Trademark Application Assistant |
ITP
2010
15 years 3 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
PERCOM
2008
ACM
15 years 11 months ago
2008
ACM
The complexity of developing and deploying context-aware pervasive-computing applications calls for distributed software infrastructures that assist applications to collect, aggre...
118
click to vote
CADUI
2004
15 years 1 months ago
2004
: This paper describes a system that helps HCI practitioners and researchers manage and conduct experiments involving context-sensitive handheld applications, particularly related ...
124
click to vote
ANLP
2000
15 years 1 months ago
2000
JAVOX provides a mechanism for the development of spoken-language systems from existing desktop applications. We present an architecture that allows existing Java1 programs to be ...