1407 search results - page 183 / 282 » Using Use Cases in Executable Z |
144
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
114
click to vote
USENIX
2001
15 years 5 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
122
click to vote
PRL
2006
15 years 4 months ago
2006
In this paper a heuristic segmentation algorithm is presented based on the oversegmentation of an image. The method uses a set of different segmentations of the image produced pre...
149
click to vote
TSE
2010
14 years 10 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
157
click to vote
IEEEPACT
1997
IEEE
15 years 8 months ago
1997
IEEE
† In this paper, we propose a parallel randomized algorithm, called Parallel Fast Assignment using Search Technique (PFAST), for scheduling parallel programs represented by direc...