2687 search results - page 508 / 538 » Formal Analysis of PKCS |
224
click to vote
VLDB
2005
ACM
16 years 1 months ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...
182
Voted
SIGMOD
2008
ACM
16 years 28 days ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
109
Voted
PODS
2008
ACM
16 years 27 days ago
2008
ACM
There is an increasing quantity of data with uncertainty arising from applications such as sensor network measurements, record linkage, and as output of mining algorithms. This un...
130
Voted
PODS
2008
ACM
16 years 27 days ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
107
click to vote
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...