Sciweavers

1575 search results - page 68 / 315
» The provenance of electronic data
Sort
View
MIE
2008
109views Healthcare» more  MIE 2008»
15 years 7 months ago
Reconstructing Clinical Events by Interpreting NICU Monitoring Data
Several studies are reported in literature that use electronically recorded data for aiding decision support/reporting in the Neonatal Intensive Care Unit (NICU). In this PhD resea...
Feng Gao
VLDB
2001
ACM
108views Database» more  VLDB 2001»
15 years 10 months ago
Hyperqueries: Dynamic Distributed Query Processing on the Internet
In this paper we propose a new framework for dynamic distributed query processing based on so-called HyperQueries which are essentially query evaluation sub-plans “sitting behin...
Alfons Kemper, Christian Wiesner
CLOUDCOM
2009
Springer
15 years 9 months ago
Biomedical Case Studies in Data Intensive Computing
Many areas of science are seeing a data deluge coming from new instruments, myriads of sensors and exponential growth in electronic records. We take two examples
Geoffrey Fox, Xiaohong Qiu, Scott Beason, Jong Y. ...
TYPES
1993
Springer
15 years 10 months ago
Proof-Checking a Data Link Protocol
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
Leen Helmink, M. P. A. Sellink, Frits W. Vaandrage...
ASIACRYPT
2000
Springer
15 years 9 months ago
The Security of Chaffing and Winnowing
This paper takes a closer look at Rivest's chaffing-and-winnowing paradigm for data privacy. We begin with a definition which enables one to clearly determine whether a given ...
Mihir Bellare, Alexandra Boldyreva