4272 search results - page 310 / 855 » A Case for Automatic System Evaluation |
179
click to vote
IDEAS
1997
IEEE
15 years 11 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
199
click to vote
GEM
2009
15 years 4 months ago
2009
Self-organizing systems could serve as a solution for many technical problems where properties like robustness, scalability, and adaptability are required. However, despite all the...
202
click to vote
FAC
2008
15 years 7 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
166
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
227
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
This work proposes a new methodology for automatically validating the internal lighting system of an automotive, i.e., assessing the visual quality of an instrument cluster (IC) f...