2570 search results - page 499 / 514 » The Semantic Web And Its Languages |
112
click to vote
VLDB
1999
ACM
15 years 4 months ago
1999
ACM
Electronic commerce is emerging as a major Websupported application. In this paper we argue that database technology can, and should, provide the backbone for a wide range of such...
118
Voted
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
104
click to vote
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
113
click to vote
ADCS
2004
15 years 1 months ago
2004
Relevance profiling is a general process for withindocument retrieval. Given a query, a profile of retrieval status values is computed by sliding a fixed sized window across a doc...
118
click to vote
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...