Sciweavers

2516 search results - page 72 / 504
» Integrity Constraints for XML
Sort
View
CDC
2010
IEEE
135views Control Systems» more  CDC 2010»
14 years 4 months ago
L2 gain verification for interconnections of locally stable systems using integral quadratic constraints
The paper establishes conditions which certify a local L2 gain for interconnections of locally stable systems. The approach involves improvements to local L2 gain estimation using ...
Erin Summers, Andrew K. Packard
ICDT
2005
ACM
130views Database» more  ICDT 2005»
15 years 3 months ago
Rewriting Queries Using Views with Access Patterns Under Integrity Constraints
We study the problem of rewriting queries using views in the presence of access patterns, integrity constraints, disjunction, and negation. We provide asymptotically optimal algori...
Alin Deutsch, Bertram Ludäscher, Alan Nash
SI3D
1992
ACM
15 years 1 months ago
Integrating Constraints and Direct Manipulation
In this paper, we present techniques for integratingconstraint and direct manipulation approaches to geometric modeling. Direct manipulation positioning techniques are augmented t...
Michael Gleicher
ANTSW
2008
Springer
14 years 11 months ago
Integration of ACO in a Constraint Programming Language
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
Madjid Khichane, Patrick Albert, Christine Solnon
IEEESCC
2009
IEEE
14 years 7 months ago
Integrated Constraint Violation Handling for Dynamic Service Composition
Dynamic service composition is suitable for on-demand business requests. For autonomic computing, service composition needs to deal with runtime environment faults, but also with ...
MingXue Wang, Kosala Yapa Bandara, Claus Pahl