273 search results - page 27 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
146
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
110
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...
133
click to vote
AAAI
2007
15 years 6 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
129
click to vote
POPL
1995
ACM
15 years 7 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
128
click to vote
CC
2010
Springer
15 years 10 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...