2137 search results - page 294 / 428 » Proving Abstract Non-interference |
126
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
133
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
130
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. For deterministic tree automata, classical hierarchies, like MostowskiRabin (or index) hierarchy, Borel hierarchy, or Wadge hierarchy, are known to be decidable. However,...
116
click to vote
ICIAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Structured light stereoscopic imaging offers an efficient and affordable solution to 3D modeling of objects. The majority of structured light patterns that have been prop...
133
click to vote
ISAAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We investigate the computational complexity of a new combinatorial problem of inferring a smallest possible multi-labeled phylogenetic tree (MUL tree) which is consistent...