380 search results - page 19 / 76 » Operational Semantics for Declarative Networking |
101
click to vote
ENTCS
2006
14 years 12 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
109
Voted
TKDE
2010
14 years 10 months ago
2010
— The data management community has recently begun to consider declarative network routing and distributed acquisition: e.g., sensor networks that execute queries about contiguou...
ISCA
1991
IEEE
15 years 3 months ago
1991
IEEE
This paper describes a parallel associative processor, IXM2, developed mainly for semantic network processing. IXM2 consists of 64 associative processors and 9 network processors,...
CIKM
2009
Springer
15 years 3 months ago
2009
Springer
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
PPDP
2001
Springer
15 years 4 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...