Sciweavers

5671 search results - page 831 / 1135
» A Semantic Approach to Interpolation
Sort
View
ECOWS
2009
Springer
16 years 1 months ago
RESTful SPARQL? You name it!: aligning SPARQL with REST and resource orientation
SPARQL is the standard query language for RDF, but currently is a read-only language defined in a way similar to SQL: Queries can be formulated, are submitted to a single process...
Erik Wilde, Michael Hausenblas
EMO
2009
Springer
174views Optimization» more  EMO 2009»
16 years 1 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
PDCAT
2009
Springer
16 years 1 months ago
Supporting Partial Ordering with the Parallel Iterator
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen
PPDP
2009
Springer
16 years 1 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
RE
2009
Springer
16 years 1 months ago
Intellectual Property Rights Requirements for Heterogeneously-Licensed Systems
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
Thomas A. Alspaugh, Hazeline U. Asuncion, Walt Sca...