4962 search results - page 561 / 993 » Stochastic Model Checking |
133
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
135
click to vote
ANSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
145
click to vote
MASCOTS
2007
15 years 6 months ago
2007
—Simulation methods have become an integral part of almost all aspects of networking research and particularly in the area of wireless networks. Any new protocol or methodology t...
154
click to vote
UAI
2004
15 years 6 months ago
2004
Bayesian learning in undirected graphical models--computing posterior distributions over parameters and predictive quantities-is exceptionally difficult. We conjecture that for ge...
150
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— At the forefront of the recent advances in mobile networks is the development of sophisticated mobility management mechanisms that are usually based on Mobile IP and its deriva...