5090 search results - page 709 / 1018 » Constructing Strategies for Programming |
165
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
183
click to vote
CSL
2005
Springer
16 years 6 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
183
click to vote
DAWAK
2005
Springer
16 years 6 days ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
196
click to vote
DSVIS
2005
Springer
16 years 6 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
156
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...