3657 search results - page 482 / 732 » A Study of Practical Deduplication |
166
click to vote
ADAEUROPE
2007
Springer
16 years 24 days ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
152
click to vote
AIME
2007
Springer
16 years 24 days ago
2007
Springer
In diagnostic decision-support systems, a test-selection facility serves to select tests that are expected to yield the largest decrease in the uncertainty about a patient’s diag...
149
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
153
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 23 days ago
2007
Springer
A significant proportion of human diseases, spanning the gamut from viral respiratory disease to arthropod-borne macroparasitic infections of the blood, exhibit distinct and stable...
171
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...