3820 search results - page 564 / 764 » Bounded Model Debugging |
135
Voted
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
114
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
120
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...
113
click to vote
ICDCSW
2005
IEEE
15 years 8 months ago
2005
IEEE
Capacity estimation is an important part of covert channel analysis. It measures the severity of a covert channel by estimating the maximum information rate attainable over it. Tr...
106
Voted
ICDM
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents the triple jump framework for accelerating the EM algorithm and other bound optimization methods. The idea is to extrapolate the third search point based on th...