703 search results - page 101 / 141 » Automatic Generation of Block-Recursive Codes |
DAC
1997
ACM
14 years 2 months ago
1997
ACM
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
APWEB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The development of Web Information Systems(WIS) is a hot research topic both in industry and academia. This paper presents a platform for ontology driven WIS development:...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
SRDS
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...