5130 search results - page 949 / 1026 » Constraint Query Languages |
147
click to vote
DATE
2009
IEEE
16 years 29 days ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
196
click to vote
ICMT
2009
Springer
16 years 22 days ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
159
click to vote
IFIP
2009
Springer
16 years 22 days ago
2009
Springer
New Internet services and technologies call for higher packet switching capacities in the core network. Thus, a performance bottleneck arises at the backbone routers, as forwarding...
162
click to vote
KCAP
2009
ACM
16 years 21 days ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
187
click to vote
TASE
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...