Sciweavers

7557 search results - page 273 / 1512
» Constraints as a design pattern
Sort
View
CAISE
2000
Springer
15 years 11 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis
CP
2009
Springer
16 years 1 months ago
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem
In this paper we present a hybrid model for the demand acceptance variant of the routing and wavelength assignment problem in directed networks, an important benchmark problem in o...
Helmut Simonis
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
16 years 22 days ago
Towards Automated Gait Generation for Dynamic Systems with Non-holonomic Constraints
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
Elie A. Shammas, Howie Choset, Alfred A. Rizzi
CCL
1994
Springer
15 years 10 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 10 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi