Sciweavers

2834 search results - page 393 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
154
Voted
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
15 years 8 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu
VLC
2008
191views more  VLC 2008»
15 years 4 months ago
Visual specification of measurements and redesigns for domain specific visual languages
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
Esther Guerra, Juan de Lara, Paloma Díaz
SARA
2007
Springer
15 years 10 months ago
Generating Implied Boolean Constraints Via Singleton Consistency
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
Roman Barták
WSC
2007
15 years 6 months ago
The simulation power of automod
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
Todd LeBaron, Craig Jacobsen
PG
1998
IEEE
15 years 8 months ago
General Constrained Deformations based on Generalized Metaballs
Space deformation is an important tool in computer animation and shape design. In this paper we propose a new local deformation model based on generalized metaballs. The user spec...
Xiaogang Jin, Youfu Li, Qunsheng Peng