5499 search results - page 80 / 1100 » Generalized Rewrite Theories |
112
click to vote
ENTCS
2007
15 years 4 months ago
2007
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
161
click to vote
TARK
2009
Springer
15 years 10 months ago
2009
Springer
Kolmogorov’s setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role ...
123
click to vote
IWPEC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...
140
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
156
click to vote
PERCOM
2004
ACM
16 years 3 months ago
2004
ACM
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...