Sciweavers

2702 search results - page 19 / 541
» constraints 2008
Sort
View
TOPLAS
2010
76views more  TOPLAS 2010»
14 years 8 months ago
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard
SAC
2008
ACM
14 years 9 months ago
A constraint hierarchies approach to geometric constraints on sketches
We propose an approach that uses preferences on the constraints in order to deal with over-constrained geometric constraint problems. This approach employs constraint hierarchies,...
Christophe Jermann, Hiroshi Hosobe
CLEIEJ
2006
87views more  CLEIEJ 2006»
14 years 9 months ago
Integrity Constraint Checking in Distributed Nested Transactions over a Database Cluster
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experiment...
Stéphane Gançarski, Claudia Le&oacut...
SCP
1998
138views more  SCP 1998»
14 years 9 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara