550 search results - page 75 / 110 » An Architecture-Based Software Reliability Model |
152
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
150
Voted
PPOPP
2010
ACM
16 years 28 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
142
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
117
Voted
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
We evaluate the anonymity provided by two popular email mix implementations, Mixmaster and Reliable, and compare their effectiveness through the use of simulations which model th...
113
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...