146 search results - page 20 / 30 » A Framework for Standardized Syntactic Annotation |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
: The semantic Web initiates new, high level access schemes to online content and applications. One area of superior need for a redefined content exploration is given by on-line ed...
84
Voted
IWRT
2010
14 years 7 months ago
2010
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...
76
Voted
IFIP12
2009
14 years 7 months ago
2009
In this paper, we propose a preference framework for information retrieval in which the user and the system administrator are enabled to express preference annotations on search ke...
TCC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...