2678 search results - page 356 / 536 » Operational Semantics of Transactions |
245
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
114
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
137
click to vote
DEXA
2009
Springer
15 years 11 months ago
2009
Springer
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
129
Voted
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
126
Voted
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...