Publication
-
Indistinguishability Amplification In Proceedings
January 2007 -
January 2007
-
Structured Document Retrieval, Multimedia Retrieval, and Entity Ranking Using PF/Tijah In Proceedings
January 2007 -
Continuous RDF Query Processing over DHTs In Proceedings
January 2007 -
Cooperative Scans: Dynamic Bandwidth Sharing in a DBMS In Proceedings
January 2007
-
January 2007
-
A verification framework for agent programming with declarative goals Article
Journal of Applied Logic, 5(2), 277-302.January 2007 -
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs In Proceedings
January 2007