232 search results - page 8 / 47 » concurrency 2000 |
90
Voted
PADL
2000
Springer
15 years 1 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
70
Voted
FOSSACS
2000
Springer
15 years 1 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
MSS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a design that addresses limitations inherent in the initial implementation of the Archive for the Earth Observing Systems (EOS). The design consists of two el...
ATS
2000
IEEE
15 years 2 months ago
2000
IEEE
An algorithmic fault detection scheme for linear digital state variable systems is proposed. The proposed scheme eliminates the necessity of observing the internal states of the s...