819 search results - page 127 / 164 » Using Assumptions to Distribute CTL Model Checking |
IMC
2009
ACM
15 years 7 months ago
2009
ACM
Reachability is thought of as the most basic service provided by today’s Internet. Unfortunately, this does not imply that the community has a deep understanding of it. Research...
109
click to vote
QOSA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
101
Voted
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
95
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...