3909 search results - page 268 / 782 » Extreme Model Checking |
108
click to vote
CCA
2009
Springer
15 years 10 months ago
2009
Springer
We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x ≥ 0. The oracle machines can also check whethe...
111
click to vote
JCS
2002
15 years 3 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...
142
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
123
click to vote
APCCM
2006
15 years 4 months ago
2006
This paper provides an overview of ServiceMosaic, which is a platform for model-driven analysis and management of service interactions. In particular, in this paper, we focus on b...
117
Voted
JFP
2006
15 years 3 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...