Sciweavers

2041 search results - page 335 / 409
» Modelling Generic Judgements
Sort
View
PODS
2005
ACM
124views Database» more  PODS 2005»
16 years 3 months ago
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
Serge Abiteboul, Stefan Haar, Tova Milo, Zoë ...
ICSE
2004
IEEE-ACM
16 years 3 months ago
Imposing a Memory Management Discipline on Software Deployment
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
Eelco Dolstra, Eelco Visser, Merijn de Jonge
127
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
The CRUTIAL Architecture for Critical Information Infrastructures
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
Paulo Veríssimo, Nuno Ferreira Neves, Migue...
ICDE
2010
IEEE
188views Database» more  ICDE 2010»
16 years 3 months ago
Space-efficient Online Approximation of Time Series Data: Streams, Amnesia, and Out-of-order
In this paper, we present an abstract framework for online approximation of time-series data that yields a unified set of algorithms for several popular models: data streams, amnes...
Sorabh Gandhi, Luca Foschini, Subhash Suri
112
Voted
PERCOM
2006
ACM
16 years 3 months ago
A Blueprint for Pervasive Self-Care Infrastructures
Self Care is a recent initiative by the Department of Health in the UK that aims to treat patients with longterm conditions sooner, nearer to home and earlier in the course of the...
George Roussos, Andy Marsh