7766 search results - page 1215 / 1554 » Testing Nondeterminate Systems |
160
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
151
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
149
click to vote
FAST
2010
15 years 6 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
122
click to vote
DGO
2007
15 years 5 months ago
2007
Enhanced information sharing among criminal justice agencies is a critical concern and a goal of much IT investment. Understanding agencies’ capabilities to achieve this goal is...
131
click to vote
SDM
2008
SIAM
15 years 5 months ago
2008
SIAM
Network security has been a serious concern for many years. For example, firewalls often record thousands of exploit attempts on a daily basis. Network administrators could benefi...