4866 search results - page 218 / 974 » UML for Global Computing |
123
click to vote
WDAG
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
130
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...
116
Voted
FGCS
2000
15 years 4 months ago
2000
More than ever before the Internet is changing computing as we know it. Global access to information and resources is becoming an integral part of nearly every aspect of our lives...
144
click to vote
AI
2005
Springer
15 years 10 months ago
2005
Springer
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
