4866 search results - page 218 / 974 » UML for Global Computing |
172
Voted
WDAG
1995
Springer
15 years 10 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...
170
Voted
CP
2006
Springer
15 years 9 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 ...
162
click to vote
FGCS
2000
15 years 7 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...
189
Voted
AI
2005
Springer
16 years 20 days 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...
156
Voted
ICPP
1996
IEEE
15 years 11 months ago
1996
IEEE
Abstract