2678 search results - page 327 / 536 » Operational Semantics of Transactions |
221
Voted
POPL
2002
ACM
16 years 5 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
156
click to vote
OSDI
2002
ACM
16 years 5 months ago
2002
ACM
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
125
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
143
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
133
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...