5030 search results - page 279 / 1006 » cases 2007 |
155
Voted
APPROX
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of derandomizing random walks in the Euclidean space Rk . We show that for k = 2, and in some cases in higher dimensions, such walks can be simulated in Lo...
226
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
190
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Stateful, in-depth, inline traffic analysis for intrusion detection and prevention is growing increasingly more difficult as the data rates of modern networks rise. Yet it remai...
191
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
166
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...