4400 search results - page 528 / 880 » A proposal for parallel self-adjusting computation |
215
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
206
Voted
PODC
2000
ACM
15 years 11 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
188
click to vote
CONCUR
1991
Springer
15 years 11 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
204
Voted
DEBS
2010
ACM
15 years 11 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
204
click to vote
COORDINATION
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...