Sciweavers

2786 search results - page 87 / 558
» A Practical Technique for Process Abstraction
Sort
View
DSN
2011
IEEE
14 years 1 months ago
Modeling stream processing applications for dependability evaluation
— This paper describes a modeling framework for evaluating the impact of faults on the output of streaming ions. Our model is based on three abstractions: stream operators, strea...
Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Bugra...
CAISE
2003
Springer
15 years 6 months ago
Building a Collaborative Information Agent in a HomeBot Application
Abstract Information agents are cooperative agents whose main goal is to collaborate and assist task agents like mobile agents in obtaining information from heterogeneous data sour...
Lito Perez Cruz, Arkady B. Zaslavsky, David Squire
CADE
2010
Springer
15 years 2 months ago
Optimized Description Logic Reasoning via Core Blocking
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
Birte Glimm, Ian Horrocks, Boris Motik
EUROPAR
1997
Springer
15 years 5 months ago
A Methodology for Compilation of High-Integrity Real-Time Programs
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
Karl Lermer, Colin J. Fidge
ICDCS
2006
IEEE
15 years 7 months ago
Greedy is Good: On Service Tree Placement for In-Network Stream Processing
This paper is concerned with reducing communication costs when executing distributed user tasks in a sensor network. We take a service-oriented abstraction of sensor networks, whe...
Zoë Abrams, Jie Liu