399 search results - page 65 / 80 » Verification of System Level Model Transformations |
108
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—With the trend toward high-quality large form factor displays on high-end handhelds, LCD backlight accounts for a significant and increasing percentage of the total energy budg...
113
click to vote
WSC
2007
15 years 4 months ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
135
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
133
click to vote
MVA
1990
15 years 3 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
107
click to vote
EWC
2000
15 years 2 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...