1613 search results - page 169 / 323 » Model-Driven Constraint Engineering |
121
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
151
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
122
Voted
IUI
1999
ACM
15 years 8 months ago
1999
ACM
The Internet enables groups of people throughout the world to interact to discuss issues, get assistance, learn, and socialize. However, when there are thousands of loosely define...
110
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes the DELFT-JAVA processor and the mechanisms required to dynamically translate JVM instructions into DELFT-JAVA instructions. Using a form of hardware register...
150
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...