1643 search results - page 36 / 329 » Consistability: Describing Usually Consistent Systems |
CIMCA
2006
IEEE
15 years 3 months ago
2006
IEEE
The aim of this paper is to propose a service oriented decision support system based on an ontology-driven uncertainty model (OntoBayes). OntoBayes consists of knowledge and decis...
DAGSTUHL
2007
14 years 11 months ago
2007
This paper presents an information-theoretic model of a voting system, consisting of (a) definitions of the desirable qualities of integrity, privacy and verifiability, and (b) ...
AAAI
2004
14 years 11 months ago
2004
We present an emerging indoor assisted navigation system for the visually impaired. The core of the system is a mobile robotic base with a sensor suite mounted on it. The sensor s...
DEXAW
2005
IEEE
15 years 3 months ago
2005
IEEE
We address the problem of efficient support for active rules in XML database systems. We describe a general form of active rules for XML based on XQuery and a previously defined...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...