8446 search results - page 1041 / 1690 » A Process Compensation Language |
207
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
A major issue in many domains is to present information to people that is tailored to their need, in such a way that it supports them in their tasks. In this paper, we present the...
292
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
215
Voted
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
195
click to vote
WIKIS
2006
ACM
16 years 1 months ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...
189
Voted
FDL
2005
IEEE
16 years 27 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...