3387 search results - page 65 / 678 » Automating the Metamodeling Process |
163
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
As the acquisition problem of bilingual lists of terminological expressions is formidable, it is worthwhile to investigate methods to compile such lists as automatically as possib...
112
click to vote
IIE
2006
15 years 4 months ago
2006
Abstract. For many programming tasks we would be glad to have some kind of automatic evaluation process. As an example, most of the programming contests use an automatic evaluation...
168
click to vote
IJCAT
2010
15 years 2 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
128
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Stream processing applications such as image signal processing demand high throughput. However, customers increasingly demand runtime flexibility in their designs, which cannot b...