3573 search results - page 563 / 715 » Reasoning about Codata |
123
click to vote
HPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
130
click to vote
SAINT
2005
IEEE
15 years 8 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
144
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
106
click to vote
BIOADIT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Biologically inspired approaches to the design of general IT are presently flourishing. Investigating the scientific and historical roots of the tendency will serve to pr...
126
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...