3224 search results - page 330 / 645 » On Checking Model Checkers |
158
click to vote
CCA
2009
Springer
16 years 1 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...
161
click to vote
JCS
2002
15 years 6 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 ...
196
click to vote
VMCAI
2009
Springer
16 years 1 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...
165
click to vote
APCCM
2006
15 years 8 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...
177
click to vote
SP
2003
IEEE
15 years 12 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...