214 search results - page 33 / 43 » Dynamic Optimistic Interprocedural Analysis: A Framework and... |
117
click to vote
CATA
2003
15 years 1 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
100
click to vote
PR
2010
14 years 10 months ago
2010
Wavelet analysis has found widespread use in signal processing and many classification tasks. Nevertheless, its use in dynamic pattern recognition have been much more restricted ...
114
click to vote
BMCBI
2010
14 years 6 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
FIDJI
2003
Springer
15 years 4 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...