2834 search results - page 249 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
179
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
158
click to vote
WSC
2004
15 years 8 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
168
click to vote
WSC
1997
15 years 8 months ago
1997
The Enterprise Modeling Framework (EMF) consists of a methodology for modeling the three major facets of an enterprise, viz., function, information and dynamics. Its main goal is ...
187
click to vote
IWPC
1998
IEEE
15 years 11 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
129
click to vote
ISQED
2010
IEEE
16 years 1 months ago
2010
IEEE
— Algorithms and tools used for IC implementation do not show deterministic and predictable behaviors with input parameter changes. Due to suboptimality and inaccuracy of underly...