341 search results - page 18 / 69 » Empirical estimates of software availability of deployed sys... |
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
CSCWD
2008
Springer
13 years 9 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
ACL
2009
13 years 5 months ago
2009
User simulations are shown to be useful in spoken dialog system development. Since most current user simulations deploy probability models to mimic human user behaviors, how to se...
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...