Sciweavers

11022 search results - page 51 / 2205
» Programming Systems for Autonomy
Sort
View
PPOPP
2003
ACM
15 years 7 months ago
Impala: a middleware system for managing autonomic, parallel sensor systems
Sensor networks are long-running computer systems with many sensing/compute nodes working to gather information about their environment, process and fuse that information, and in ...
Ting Liu, Margaret Martonosi
BTW
2007
Springer
136views Database» more  BTW 2007»
15 years 8 months ago
System P: Completeness-driven Query Answering in Peer Data Management Systems
Abstract: Peer data management systems (PDMS) are a highly dynamic, decentralized infrastructure for large-scale data integration. They consist of a dynamic set of autonomous peers...
Armin Roth, Felix Naumann
CL
2012
Springer
13 years 4 months ago
Maintaining distributed logic programs incrementally
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedr...
CAV
2012
Springer
270views Hardware» more  CAV 2012»
13 years 4 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
102
Voted
ICAC
2009
IEEE
15 years 9 months ago
Knowledge delivery mechanism for autonomic overlay network management
The complexity of current computing networks and the required fluidity of their operation requires autonomy to be central to the design and implementation of a managed overlay net...
Dominic Jones, John Keeney, David Lewis, Declan O'...