200 search results - page 27 / 40 » A Core Calculus for Provenance |
158
Voted
CCS
2010
ACM
15 years 14 days ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
179
Voted
POPL
1989
ACM
15 years 7 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
129
Voted
IJCAI
1993
15 years 5 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
144
Voted
SIAMNUM
2011
14 years 10 months ago
2011
In the context of mesh adaptation, Riemannian metric spaces have been used to prescribe orientation, density and stretching of anisotropic meshes. But, such structures are only con...
203
click to vote
ICDE
1995
IEEE
16 years 5 months ago
1995
IEEE
Active OODBMSs must provide e cient support for event detection, composition, and rule execution. Previous experience, reported here, building active capabilities on top of existi...