4418 search results - page 388 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
191
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Active reading, involving acts such as highlighting, writing notes, etc., is an important part of knowledge workers’ activities. Most computer-based active reading support seeks...
176
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...
170
click to vote
SNPD
2008
15 years 8 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
159
click to vote
DSN
2003
IEEE
16 years 3 days ago
2003
IEEE
Software-based active replication is expensive in terms of performance overhead. Multithreading can help improve performance; however, thread scheduling is a source of nondetermin...
162
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...