2607 search results - page 471 / 522 » On the Architecture of System Verification Environments |
JCDL
2005
ACM
14 years 29 days ago
2005
ACM
The Digital Anthropology Resources for Teaching (DART) project integrates the content acquisition and cataloging initiatives of a federated digital repository with the development...
SIGSOFT
2005
ACM
14 years 29 days ago
2005
ACM
Reuse has always been a major goal in software engineering, since it promises large gains in productivity, quality and time to market reduction. Practical experience has shown tha...
WOWMOM
2005
ACM
14 years 29 days ago
2005
ACM
A mobile ad hoc network is a collection of nodes that is connected through a wireless medium forming rapidly changing topologies. The widely accepted existing routing protocols de...
ECMDAFA
2005
Springer
14 years 29 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
LCPC
2005
Springer
14 years 27 days ago
2005
Springer
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...