816 search results - page 30 / 164 » Automating Verification by Functional Abstraction at the Sys... |
RE
2004
Springer
14 years 2 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
EVOW
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
TIM
2010
13 years 3 months ago
2010
Abstract--Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of highly accurate and robust palmprint authentication system,...
GI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...