937 search results - page 77 / 188 » On the Complexity of Partial Order Properties |
127
click to vote
ICES
1998
Springer
15 years 10 months ago
1998
Springer
The ontogenetic development of living beings suggests the design of a new kind of multicellular automaton endowed with novel quasi-biological properties: self-repair and self-repli...
184
click to vote
DS
1992
15 years 7 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...
178
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
176
click to vote
TCS
2008
15 years 6 months ago
2008
1 Elimination Game is a well known algorithm that simulates Gaussian elimination of matrices on graphs, and it computes a triangulation of the input graph. The number of fill edge...
172
click to vote
TCAD
1998
15 years 5 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...