Sciweavers

899 search results - page 63 / 180
» Implementing declarative overlays
Sort
View
IJCAI
2003
13 years 9 months ago
Describing Additive Fluents in Action Language C+
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
Joohyung Lee, Vladimir Lifschitz
OSDI
2004
ACM
14 years 8 months ago
FUSE: Lightweight Guaranteed Distributed Failure Notification
FUSE is a lightweight failure notification service for building distributed systems. Distributed systems built with FUSE are guaranteed that failure notifications never fail. When...
John Dunagan, Nicholas J. A. Harvey, Michael B. Jo...
VLDB
2007
ACM
128views Database» more  VLDB 2007»
14 years 8 months ago
Periscope/SQ: Interactive Exploration of Biological Sequence Databases
Life science laboratories today have to rely on procedural techniques to store and manage large sequence datasets. Procedural techniques are cumbersome to use and are often very i...
Sandeep Tata, Willis Lang, Jignesh M. Patel
SIGCOMM
2004
ACM
14 years 1 months ago
The design and implementation of a next generation name service for the internet
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
Venugopalan Ramasubramanian, Emin Gün Sirer
KCAP
2003
ACM
14 years 1 months ago
Design of customized web applications with OntoWeaver
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
Yuangui Lei, Enrico Motta, John Domingue