15644 search results - page 277 / 3129 » Brittle System Analysis |
190
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
169
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
We present in this paper a system for converting PDF legacy documents into structured XML format. This conversion system first extracts the different streams contained in PDF files...
196
Voted
APVIS
2008
15 years 8 months ago
2008
We present a new method for the visual analysis of multivariate system traces. Our method combines three perspectives: (1) a schematic diagram, (2) time series plots and (3) a sta...
159
click to vote
USENIX
2003
15 years 8 months ago
2003
Performance was an important issue in the development of X from the initial protocol design and continues to be important in modern application and extension development. That X i...
153
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...