4341 search results - page 260 / 869 » Quantitative Model checking |
108
click to vote
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
The immaturity of current intrusion detection techniques limits the traditional security systems in surviving malicious attacks. Intrusion tolerance approaches have emerged to over...
107
Voted
ENTCS
2010
14 years 10 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
106
Voted
CIMAGING
2008
15 years 2 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...
103
click to vote
OTM
2010
Springer
14 years 11 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...
112
Voted
ATAL
2008
Springer
15 years 2 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...