42 search results - page 5 / 9 » Representational Correspondence as a Basic Principle of Diag... |
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
IJCV
2002
13 years 7 months ago
2002
In an effort to articulate models for the intuitive representation and manipulation of 2D and 3D forms, Blum (1967, 1973) invented the notion of a skeleton. His insight was to con...
DAC
2004
ACM
14 years 29 days ago
2004
ACM
Aggressive design cycles in the semiconductor industry demand a design-reuse principle for analog circuits. The strong impact of layout intricacies on analog circuit performance n...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
AAIP
2009
13 years 8 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...