1669 search results - page 2 / 334 » Structured Specification of Model Interpreters |
ECMDAFA
2008
Springer
13 years 6 months ago
2008
Springer
CSDA
2008
13 years 5 months ago
2008
In this paper we use a general procedure for fractional integration and structural breaks at unknown points in time, which allows for different orders of integration and determini...
ENTCS
2002
13 years 5 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
MICCAI
2002
Springer
14 years 6 months ago
2002
Springer
Through an understanding of the image formation process, diagnostically important facts about the internal structure and composition of the skin lesions can be derived from their c...
CBSE
2009
Springer
13 years 10 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...