Sciweavers

6054 search results - page 822 / 1211
» Implementation of Andorra-based Languages
Sort
View
CP
2004
Springer
16 years 5 days ago
Deriving Filtering Algorithms from Constraint Checkers
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
CP
2004
Springer
16 years 5 days ago
Global Constraints for Integer and Set Value Precedence
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
Yat Chiu Law, Jimmy Ho-Man Lee
CP
2004
Springer
16 years 5 days ago
Speeding Up Constraint Propagation
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
Christian Schulte, Peter J. Stuckey
FIDJI
2004
Springer
16 years 5 days ago
Coordinated Anonymous Peer-to-Peer Connections with MoCha
Abstract. MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous, and point-to-point communication among nod...
Juan Guillen Scholten, Farhad Arbab
GPCE
2004
Springer
16 years 5 days ago
VS-Gen: A Case Study of a Product Line for Versioning Systems
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
Jernej Kovse, Christian Gebauer