2604 search results - page 118 / 521 » Human Errors and System Requirements |
CHI
2011
ACM
13 years 19 days ago
2011
ACM
Conversing on cell phones while driving is a risky, yet commonplace activity. State legislatures in the U.S. have enacted rules that limit hand-held phone conversations while driv...
RTCSA
2006
IEEE
14 years 3 months ago
2006
IEEE
The load parameter of a sporadic task system is defined to be the largest possible cumulative execution requirement that can be generated by jobs of the task system over any time...
SAMOS
2004
Springer
14 years 2 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
RSP
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
FOCS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...