4350 search results - page 380 / 870 » Case studies for contract-based systems |
135
click to vote
WCE
2007
15 years 8 months ago
2007
—Developed initially on the basis of electronic technology, the researches in the field of reliability have proved their generality, so they can be applied to any technical syste...
194
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— This work focuses on a class of distributed storage systems whose content may evolve over time. Each component or node of the storage system is mobile and the set of all nodes ...
160
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The support of human creativity by information and communication technology is an important and interesting area for research. To advance our research in this complex area our app...
202
click to vote
IJSEKE
2000
15 years 6 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
175
click to vote
HVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...