40 search results - page 4 / 8 » A Higher Abstraction Level Using First-Class Inheritance Rel... |
CI
2005
13 years 7 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
VLSID
2009
IEEE
14 years 8 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
ECSQARU
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
ENTCS
2008
13 years 7 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
VISSOFT
2005
IEEE
14 years 1 months ago
2005
IEEE
Using visualization and exploration tools can be of great use for the understanding of a software system when only its source code is available. However, understanding a large sof...