4341 search results - page 606 / 869 » Quantitative Model checking |
214
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
289
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Figure/ground assignment is a key step in perceptual organization which assigns contours to one of the two abutting regions, providing information about occlusion and all...
176
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
175
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
162
click to vote
JCS
2006
15 years 6 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...