Sciweavers

1992 search results - page 370 / 399
» Implementing sorting in database systems
Sort
View
ER
2003
Springer
158views Database» more  ER 2003»
15 years 3 months ago
REF: A Practical Agent-Based Requirement Engineering Framework
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
Paolo Bresciani, Paolo Donzelli
COMPSAC
2002
IEEE
15 years 2 months ago
Private Information Retrieval in the Presence of Malicious Failures
In the application domain of online information services such as online census information, health records and real-time stock quotes, there are at least two fundamental challenge...
Erica Y. Yang, Jie Xu, Keith H. Bennett
VLDB
2001
ACM
74views Database» more  VLDB 2001»
15 years 2 months ago
The Propel Distributed Services Platform
The Propel Distributed Services Platform (PDSP) is the core software product of Propel, a new Internet infrastructure software company. The PDSP product was created to enable Java...
Michael J. Carey, Steve Kirsch, Mary Roth, Bert Va...
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 2 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
DSOM
2000
Springer
15 years 2 months ago
Operational Data Analysis: Improved Predictions Using Multi-computer Pattern Detection
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
Ricardo Vilalta, Chidanand Apté, Sholom M. ...