1926 search results - page 222 / 386 » Modeling and Model Checking Software Product Lines |
122
click to vote
IJON
2006
15 years 4 months ago
2006
This paper proposes a neural network model that extracts axes of symmetry from visual patterns. The input patterns can be line drawings, plane figures or gray-scaled natural image...
172
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
169
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
132
click to vote
ENTCS
2002
15 years 4 months ago
2002
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
158
click to vote
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...