2875 search results - page 314 / 575 » Model checking agentspeak |
125
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
128
click to vote
ESORICS
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
122
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
154
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
138
Voted
SMI
1999
IEEE
15 years 7 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...