1613 search results - page 127 / 323 » Model-Driven Constraint Engineering |
141
Voted
AVI
2008
15 years 6 months ago
2008
In this paper we discuss the problem of deploying appliances for interactive services in complex physical environments using a knowledge based approach to define the relations bet...
162
Voted
AROBOTS
2011
14 years 10 months ago
2011
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
137
Voted
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
130
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
134
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...