633 search results - page 74 / 127 » A Semantic Basis for Quest |
ESOP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
FMCO
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
IBERAMIA
2004
Springer
14 years 2 months ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
Record reviews provide a unique and focused source of linguistic data that can be related to musical recordings, to provide a basis for computational music understanding systems w...
KES
2004
Springer
14 years 2 months ago
2004
Springer
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...