2673 search results - page 359 / 535 » Guided Static Analysis |
139
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
121
Voted
ICIAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, a coarse-to-fine classification scheme is used to recognize facial expressions (angry, disgust, fear, happiness, neutral, sadness and surprise) of novel ex...
132
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
173
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
152
click to vote
ECRTS
2003
IEEE
15 years 10 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...