2162 search results - page 348 / 433 » Automated Reasoning on Feature Models |
146
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
147
click to vote
IJMTM
2007
15 years 4 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
136
click to vote
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
148
click to vote
SMA
2008
ACM
15 years 2 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
163
click to vote
TCAD
2010
14 years 11 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...