4340 search results - page 689 / 868 » Formal Methods and Cryptography |
148
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...
160
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
157
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
252
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
258
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...