2896 search results - page 446 / 580 » Curricula Modeling and Checking |
204
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
178
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Modeling and recognizing landmarks at world-scale is a
useful yet challenging task. There exists no readily available
list of worldwide landmarks. Obtaining reliable visual
mode...
147
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
171
click to vote
CSFW
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
150
click to vote
SBMF
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...