Sciweavers

2110 search results - page 76 / 422
» Delegation Modeling with Paradigm
Sort
View
VLDB
2010
ACM
190views Database» more  VLDB 2010»
15 years 4 months ago
Continuous authentication on relational streams
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
Stavros Papadopoulos, Yin Yang, Dimitris Papadias
CTRSA
2012
Springer
285views Cryptology» more  CTRSA 2012»
14 years 2 months ago
Plaintext-Checkable Encryption
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...
Sébastien Canard, Georg Fuchsbauer, Aline G...
JCDL
2003
ACM
128views Education» more  JCDL 2003»
15 years 11 months ago
Extracting Geometry from Digital Models in a Cultural Heritage Digital Library
This paper describes research to enhance the integration between digital models and the services provided by the document management systems of digital libraries. Processing techn...
Thomas L. Milbank
DAGSTUHL
2006
15 years 7 months ago
Stochastic Process Algebra Models of a Circadian Clock
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
Jeremy T. Bradley, Thomas Thorne
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
15 years 6 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan