573 search results - page 69 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
ACSD
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
ICDCS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper addresses the problem of selection and discovery of a consistent availability monitoring overlay for computer hosts in a large-scale distributed application, where host...
125
click to vote
DAS
2010
Springer
15 years 2 months ago
2010
Springer
In this article, a system to detect the rooms in architectural floor plan images is described. We first present a primitive extraction algorithm for line detection. It is based ...
106
click to vote
OPODIS
2003
14 years 11 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Peer-to-peer (p2p) systems offer an efficient means of data sharing among a dynamically changing set of a large number of autonomous nodes. Each node in a p2p system is connected...