4167 search results - page 308 / 834 » Regression model checking |
137
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
144
Voted
CIMAGING
2008
15 years 6 months ago
2008
We compute AM-FM models for infrared video frames depicting military targets immersed in structured clutter backgrounds. We show that independent correlation based detection proce...
139
click to vote
OTM
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
149
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
146
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...