6960 search results - page 409 / 1392 » Continuity Analysis of Programs |
123
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
125
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
127
Voted
ECCV
1996
Springer
16 years 6 months ago
1996
Springer
In this paper, we propose an approach for the control and layering of space-time continuous visual tasks with an uncalibrated camera. The approach is based on the bidimensional ap...
187
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
188
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...