152 search results - page 29 / 31 » Full Abstraction for Reduced ML |
182
click to vote
WOLLIC
2009
Springer
16 years 11 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
171
click to vote
ASPLOS
2010
ACM
16 years 8 days ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
145
click to vote
OOPSLA
2007
Springer
15 years 12 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
178
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Location-hidden services, as offered by anonymity systems such as Tor, allow servers to be operated under a pseudonym. As Tor is an overlay network, servers hosting hidden service...
163
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...