2106 search results - page 262 / 422 » Specifying C concepts |
126
click to vote
VTS
2003
IEEE
15 years 10 months ago
2003
IEEE
— In this paper, we study the problem of delay defect diagnosis based on statistical timing models. We propose a diagnosis algorithm that can effectively utilize statistical timi...
119
click to vote
HT
2003
ACM
15 years 10 months ago
2003
ACM
The integration of printed paper and digital information enables new forms of enhanced reading. We present digitally augmented paper as a specific application of our more general...
124
click to vote
DSVIS
2003
Springer
15 years 10 months ago
2003
Springer
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
136
click to vote
ESORICS
2003
Springer
15 years 10 months ago
2003
Springer
This paper considers a coalition C of enterprises {E1,..., En}, which is to be governed by a coalition policy PC , and where each memberenterprise Ei has its own internal policy Pi...
106
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...