4341 search results - page 707 / 869 » Quantitative Model checking |
184
click to vote
PAMI
2006
15 years 6 months ago
2006
: This article addresses the problem of estimating the motion of a camera as it observes the outline (or apparent contour) of a solid bounded by a smooth surface in successive imag...
169
click to vote
INFSOF
2007
15 years 6 months ago
2007
Business has been highlighted as a one of the critical dimensions of software product line engineering. This paper’s main contribution is to increase the understanding of the in...
149
click to vote
COMPSEC
2002
15 years 6 months ago
2002
In this paper an insider attack is considered to be deliberate misuse by those who are authorized to use computers and networks. Applying this definition in real-life settings to ...
137
click to vote
SIAMCO
2000
15 years 6 months ago
2000
In this paper, a perturbation expansion technique is introduced to decompose the tracking error of a general adaptive tracking algorithm in a linear regression model. This method ...
143
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
As businesses continue to grow their World Wide Web presence, it is becoming increasingly vital for them to have quantitative measures of the client perceived response times of th...