82 search results - page 12 / 17 » Position statement |
AADEBUG
1997
Springer
13 years 11 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
EKAW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The call for a "focus on content" in ontology research by Nicola Guarino and Mark Musen in their launching statement of the journal Applied Ontology has quite s...
HOTDEP
2008
13 years 10 months ago
2008
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
FFA
2006
13 years 7 months ago
2006
We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between the deal...
CONSTRAINTS
2010
13 years 7 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...