1000 search results - page 135 / 200 » Nominal rewriting systems |
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
As increasing amount of data is published in the form of XML, copyright protection of XML data is becoming an important requirement for many applications. While digital watermarki...
CLUSTER
2002
IEEE
14 years 1 months ago
2002
IEEE
With dramatic improvements in cost-performance, the use of clusters of personal computers is fast becoming widespread. For ease of use and management, a Single System Image (SSI) ...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
To truly meet the requirements of multimedia database (MMDB) management, an integrated framework for modeling, managing and retrieving various kinds of media data in a uniform way...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
ICCCN
2007
IEEE
14 years 3 months ago
2007
IEEE
– Many P2P-based storage systems use distributed indexing service for searching documents. There are two security issues when the nodes providing the index service are compromise...