4516 search results - page 182 / 904 » Automated System Design for Availability |
131
click to vote
CE
2008
15 years 4 months ago
2008
The use of computerized-adaptive testing (CAT) has expanded rapidly the last years mainly due to the advancements in communication and information technology. Availability of adva...
128
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
eously demand shorter and less costly design cycles. Designing at higher levels of abstraction makes both objectives achievable, but enabling techniques like behavioral synthesis h...
134
click to vote
MTA
2006
15 years 4 months ago
2006
In this paper we present a model and an adaptation architecture for context-aware multimodal documents. A compound virtual document describes the different ways in which multimodal...
133
click to vote
RTAS
1995
IEEE
15 years 8 months ago
1995
IEEE
—Real-time applications typically operate under strict timing and dependability constraints. Although traditional data replication protocols provide fault tolerance, real-time gu...
138
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...