2673 search results - page 187 / 535 » Guided Static Analysis |
145
click to vote
FAC
2010
15 years 3 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
177
click to vote
ISBI
2002
IEEE
16 years 5 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
121
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Networks-on-Chip (NoCs) have recently emerged as a scalable alternative to classical bus and point-to-point architectures. To date, performance evaluation of NoC designs is largel...
119
Voted
VOTEID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
106
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Traditionally artistic color concepts play an important role in the analysis of artworks, and provide valuable domain knowledge to guide the analysis and accurate retrieval of pai...