1581 search results - page 228 / 317 » Mechanizing Inductive Reasoning |
WWW
2008
ACM
16 years 17 days ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...
114
click to vote
WWW
2004
ACM
16 years 17 days ago
2004
ACM
This paper explains our research and implementations of manual, automatic and deep annotations of provenance logs for e-Science in silico experiments. Compared to annotating gener...
192
click to vote
ICFP
2009
ACM
16 years 16 days ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
CHI
2004
ACM
2004
ACM
Multiblending: displaying overlapping windows simultaneously without the drawbacks of alpha blending
16 years 7 days ago
Alpha blending allows the simultaneous display of overlapping windows--such as palette windows in visual workspaces. Although alpha blending has been used in some applications, su...
187
click to vote
POPL
2008
ACM
16 years 6 days ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...