2796 search results - page 486 / 560 » A time structure based software reliability model |
169
Voted
ISORC
2002
IEEE
15 years 10 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
150
click to vote
SPIN
2009
Springer
16 years 1 days ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
154
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
167
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
170
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
Graphs are fundamental data structures and have been employed for centuries to model real-world systems and phenomena. Random walk with restart (RWR) provides a good proximity sco...