2230 search results - page 4 / 446 » Reformulating Constraint Models Using Input Data |
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— In this paper we present a multi-agent coordination algorithm suitable for systems with aircraft-like kinematic constraints. A model of a system of input-constrained no...
ISSRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
GLOBE
2008
Springer
13 years 8 months ago
2008
Springer
This paper addresses the problem of data integration in a P2P environment, where each peer stores schema of its local data, mappings between the schemas, and some schema constraint...
IJCAI
1989
13 years 8 months ago
1989
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...