2678 search results - page 423 / 536 » Operational Semantics of Transactions |
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
123
click to vote
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
109
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
118
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...