544 search results - page 28 / 109 » Overview of QAST 2007 |
CLEF
2008
Springer
15 years 1 months ago
2008
Springer
The present article presents the steps involved in the transformation of the TE system that was used in the RTE3 competition in 2007 for the AVE 2008 exercise. We describe the rule...
CPHYSICS
2007
14 years 11 months ago
2007
In this paper, we report experiences and results of the integration and utilization of cyberinfrastructure for sciences in Korea. An overview is given of the current and planned u...
BNCOD
2007
15 years 1 months ago
2007
In this paper we report ongoing work in the development of diagram interpretation and assessment applied to entity-relationship diagrams (ERDs). We report on our development of an...
DICTA
2007
15 years 1 months ago
2007
The acceptance of reconfigurable platforms specifically FPGAs in embedded system design is becoming more apparent. While there are varieties of platforms available for smart cam...
100
click to vote
FMOODS
2007
15 years 1 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...