6040 search results - page 452 / 1208 » Generating Instance Models from Meta Models |
187
click to vote
WSC
1997
15 years 8 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
210
click to vote
CLEF
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We propose a generative model for automatic query reformulations from an initial query using the underlying subtopic structure of top ranked retrieved documents. We addre...
174
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
186
click to vote
PTS
1993
15 years 8 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
219
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...