6434 search results - page 910 / 1287 » Model Transformations with Reference Models |
149
click to vote
ENTCS
2002
15 years 4 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...
129
click to vote
ENTCS
2002
15 years 4 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
156
click to vote
IPM
2000
15 years 4 months ago
2000
SGML standardized in ISO 8879 [International Organization for Standardization (1986)] has been proliferated because it can provide various styles and transform documents on dieren...
173
click to vote
CN
1999
15 years 4 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
141
click to vote
TCSV
2002
15 years 4 months ago
2002
A novel frequency-domain technique for image blocking artifact detection and reduction is presented in this paper. The algorithm first detects the regions of the image which presen...