2604 search results - page 403 / 521 » General constant expressions for system programming language... |
116
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
122
click to vote
DRM
2005
Springer
15 years 9 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
116
click to vote
FLAIRS
2004
15 years 5 months ago
2004
The wealth of information contained in the world-wide web has created much interest in systems for integrating information from multiple sites. We describe a universal wrapper mac...
161
click to vote
FOIKS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We give a general framework for approximate query processing in semistructured databases. We focus on regular path queries, which are the integral part of most of the que...
133
click to vote
LOPSTR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...