Sciweavers

8771 search results - page 461 / 1755
» Different by design
Sort
View
ICTAI
1997
IEEE
15 years 10 months ago
Knowledge Refinement to Debug and Maintain a Tablet Formulation System
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...
Susan Craw, Robin Boswell, Ray Rowe
DSN
2008
IEEE
15 years 9 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
DAGSTUHL
2004
15 years 8 months ago
UML 2.0 Testing Profile
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
Zhen Ru Dai
TEI
2012
ACM
277views Hardware» more  TEI 2012»
14 years 2 months ago
FoldMe: interacting with double-sided foldable displays
In this paper, we present a novel device concept that features double-sided displays which can be folded using predefined hinges. The device concept enables users to dynamically a...
Mohammadreza Khalilbeigi, Roman Lissermann, Wolfga...
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
15 years 12 months ago
Data based modeling and control of a dual-stage actuator hard disk drive
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
Uwe Boettcher, Raymond A. de Callafon, Frank E. Ta...