8009 search results - page 301 / 1602 » cans 2005 |
173
click to vote
CC
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
165
Voted
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
The basic relationships to be determined in XML query processing are ancestor-descendant (A-D), parent-child (P-C), sibling and ordering relationships. The containment labeling sc...
171
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
We introduce the notion of views as a mechanism for securing and providing access control in the context of XML. Research in XML has explored several efficient querying mechanism...
163
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
168
click to vote
COSIT
2005
Springer
16 years 6 days ago
2005
Springer
How can the usability of distributed and heterogeneous geographic data sets be enhanced? Semantic interoperability is a prerequisite for effectively finding and accessing relevant ...