15779 search results - page 2353 / 3156 » Change-oriented software engineering |
187
click to vote
SCAM
2002
IEEE
16 years 5 days ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
213
click to vote
WCRE
2002
IEEE
16 years 5 days ago
2002
IEEE
Dynamic binary translators compile machine code from a source architecture to a target architecture at run time. Due to the hard time constraints of just-in-time compilation only ...
214
click to vote
WCRE
2002
IEEE
16 years 5 days ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
220
click to vote
SACMAT
2010
ACM
16 years 2 days ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
206
click to vote
ADAEUROPE
2010
Springer
16 years 2 days ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...