626 search results - page 78 / 126 » Correct Composition of Design Components |
IASTEDSEA
2004
15 years 1 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
EDOC
2000
IEEE
15 years 4 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
106
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
MSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper shows the suitability of a "self-maintaining" approach to Tertiary Disk, a large-scale disk array system built from commodity components. Instead of incurring...
ENTCS
2006
14 years 11 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...