1810 search results - page 22 / 362 » Type Systems for Distributed Data Structures |
112
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
A technical infrastructure for storing, querying and managing RDF data is a key element in the current semantic web development. Systems like Jena, Sesame or the ICS-FORTH RDF Sui...
112
Voted
HT
1998
ACM
15 years 6 months ago
1998
ACM
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
113
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
113
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
130
Voted
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...