2162 search results - page 383 / 433 » Automated Reasoning on Feature Models |
146
click to vote
SCP
2010
15 years 2 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
166
click to vote
BMVC
2010
15 years 1 months ago
2010
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
131
click to vote
MATES
2004
Springer
15 years 9 months ago
2004
Springer
Negotiation is an important mechanism of coordination in multiagent systems. Contrary to early conceptualizations of negotiating agents, we believe that decisions regarding the neg...
134
click to vote
METRICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
139
click to vote
ENTCS
2006
15 years 3 months ago
2006
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...