2896 search results - page 215 / 580 » Curricula Modeling and Checking |
158
click to vote
COMPSAC
2008
IEEE
16 years 17 days 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...
156
click to vote
CIMAGING
2008
15 years 7 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...
158
click to vote
OTM
2010
Springer
15 years 4 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...
172
Voted
ATAL
2008
Springer
15 years 8 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...
165
click to vote
BMCBI
2005
15 years 6 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 ...