3130 search results - page 409 / 626 » Design Correctness of Digital Systems |
174
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
People have developed a variety of conventions for negotiating face-to-face interruptions. The physical distribution of teams, however, together with the use of computer-mediated ...
166
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
155
click to vote
BSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Exercise therapy is prescribed by physiotherapists and rehabilitation practitioners as part of the treatment programme for many movement impairment disorders. Poor adherence and in...
143
click to vote
ISW
2009
Springer
16 years 1 months ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
191
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Emerging IPTV technology uses source-specific IP multicast to deliver TV programs to the end-users. To provide timely and reliable services over the error-prone DSL access networ...