348 search results - page 68 / 70 » Verification of Language Based Fault-Tolerance |
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Multilingual communities using machine translation to overcome language barriers are showing up with increasing frequency. However, when a large number of translation errors get m...
EICS
2011
ACM
12 years 12 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Searching for Web service access points is no longer attached to service registries as Web search engines have become a new major source for discovering Web services. In this work...