Sciweavers

2413 search results - page 241 / 483
» Models for universal usability
Sort
View
ECOOP
2010
Springer
15 years 10 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
159
Voted
IPPS
1999
IEEE
15 years 9 months ago
Dependability Evaluation of Fault Tolerant Distributed Industrial Control Systems
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
José Carlos Campelo, Pedro Yuste, Francisco...
AISB
2008
Springer
15 years 7 months ago
Substitution for Fraenkel-Mostowski foundations
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
Murdoch Gabbay, Michael Gabbay
LREC
2008
108views Education» more  LREC 2008»
15 years 6 months ago
The LECTRA Corpus - Classroom Lecture Transcriptions in European Portuguese
This paper describes the corpus of university lectures that has been recorded in European Portuguese, and some of the recognition experiments we have done with it. The highly spec...
Isabel Trancoso, Rui Martins, Helena Moniz, Ana Is...
WSC
2000
15 years 6 months ago
An interactive land use VRML application (ILUVA) with servlet assist
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
Lee A. Belfore II, Suresh Chitithoti