1810 search results - page 30 / 362 » Type Systems for Distributed Data Structures |
96
Voted
CHI
2008
ACM
16 years 2 months ago
2008
ACM
Social networking sites support a variety of shared content types such as photos, videos, or music. More structured or form-based social content types are not mainstream but we ha...
112
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
118
Voted
LCN
2006
IEEE
15 years 8 months ago
2006
IEEE
Structured Peer-to-Peer systems are designed for a highly scalable, self organizing, and efficient lookup for data. The key space of the so-called Distributed Hash Tables (DHTs) ...
163
Voted
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. Peer Data Management Systems (PDMS) have recently attracted attention by the database community. One of the main challenges of this paradigm is the development and evalua...
115
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...