5457 search results - page 1015 / 1092 » Software Component Independence |
128
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In this paper we present Triplify ? a simplistic but effective approach to publish Linked Data from relational databases. Triplify is based on mapping HTTP-URI requests onto relat...
116
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
221
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...
242
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
117
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...