3387 search results - page 82 / 678 » Automating the Metamodeling Process |
143
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
132
click to vote
EH
2005
IEEE
15 years 10 months ago
2005
IEEE
Evolutionary Design has demonstrated great potential to automatically generate a wide array of novel, interesting, and human-competitive designs. Few of these evolved designs, how...
126
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...
136
click to vote
QOSA
2009
Springer
15 years 8 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
146
click to vote
ISICT
2003
15 years 5 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...