1356 search results - page 89 / 272 » A variable-free dynamic semantics |
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a framework for transforming several quorum-based protocols so that they can dynamically adapt their failure threshold and server count, allowing them to be reconfigure...
103
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
AMAST
2006
Springer
14 years 12 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
ENTCS
2006
14 years 10 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...