Sciweavers

899 search results - page 7 / 180
» Implementing declarative overlays
Sort
View
FROCOS
2000
Springer
13 years 11 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
APVIS
2004
13 years 9 months ago
An Architecture for Multi-View Information Overlays
This paper describes an architecture for supporting multiview information overlays within the InVision visualisation framework. The concept of an information overlay is defined as...
Derek Weber, Matthew Phillips
NDSS
2006
IEEE
14 years 1 months ago
Induced Churn as Shelter from Routing-Table Poisoning
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
Tyson Condie, Varun Kacholia, Sriram Sank, Joseph ...
SRDS
2010
IEEE
13 years 5 months ago
Lightweight Fault-Tolerance for Peer-to-Peer Middleware
We address the problem of providing transparent, lightweight, fault-tolerance mechanisms for generic peer-to-peer middleware systems. The main idea is to use the peer-to-peer overl...
Rolando Martins, Priya Narasimhan, Luis Lopes, Fer...
SEMWEB
2004
Springer
14 years 1 months ago
GridVine: Building Internet-Scale Semantic Overlay Networks
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
Karl Aberer, Philippe Cudré-Mauroux, Manfre...