2673 search results - page 359 / 535 » Guided Static Analysis |
172
Voted
ICCS
2004
Springer
16 years 12 days 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...
149
Voted
ICIAR
2004
Springer
16 years 12 days 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...
174
Voted
SIGADA
2004
Springer
16 years 11 days 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...
212
Voted
VMCAI
2004
Springer
16 years 11 days 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 ...
198
Voted
ECRTS
2003
IEEE
16 years 10 days 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...