1000 search results - page 78 / 200 » Relationship Model of Abstractions Used for Developing Domai... |
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
FLAIRS
2000
13 years 10 months ago
2000
Collaboration between peers is an important aspect of the learning process and can considerably augment learning in studying complex domains. To ensure that peer collaboration occ...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Based on multifractal analysis in wavelet pyramids of texture images, a new texture descriptor is proposed in this paper that implicitly combines information from both spatial and...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...