72 search results - page 4 / 15 » Persistent Logical Synchrony |
ICDT
2009
ACM
14 years 2 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms...
ICIW
2008
IEEE
14 years 1 months ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
STORAGESS
2006
ACM
14 years 1 months ago
2006
ACM
This paper argues that the network latency due to synchronous replication is no longer tolerable in scenarios where businesses are required by regulation to separate their seconda...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...