561 search results - page 74 / 113 » A Methodology for Example-Based Specification and Design |
ICCAD
2004
IEEE
15 years 6 months ago
2004
IEEE
Kth increasing uncertainties in the modeling and pmcessing of semiconductor devices, it is essential that the sources of failures be identified once the devices ure manufactured I...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
IWRIDL
2006
ACM
15 years 3 months ago
2006
ACM
Cross-language information retrieval (CLIR) facilitates the use of one language to access documents in other languages. Crosslanguage information extraction (CLIE) extracts releva...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...