3931 search results - page 757 / 787 » Separation logic and abstraction |
JUCS
2010
13 years 3 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
SYMMETRY
2010
13 years 3 months ago
2010
: The emphasis in the published literature has mostly been on symmetry as the critical source for beauty judgment. In fact, both symmetry and asymmetry serve as highly aesthetic so...
TCAD
2010
13 years 3 months ago
2010
Abstract--In double patterning lithography (DPL) layout decomposition for 45nm and below process nodes, two features must be assigned opposite colors (corresponding to different ex...
TOPNOC
2010
13 years 3 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
CAV
2011
Springer
13 years 2 days ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...