1407 search results - page 86 / 282 » Using Use Cases in Executable Z |
129
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
137
click to vote
PDPTA
2004
15 years 5 months ago
2004
Abstract Computational Grids consist of a multitude of geographically distributed resources. The co-allocation of several of those resources allows for the execution of highly comp...
135
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
141
click to vote
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
124
click to vote
ICPP
1990
IEEE
15 years 8 months ago
1990
IEEE
All-to-all (ATA) reliable broadcast is the problem of reliably distributing information from every node to every other node in point-to-point interconnection networks. A good solut...