Results for:
"
Human-computer+interaction
" in Documents
- Substrate Substrate
- Activated reaction by active site(s): activated reaction by active site R
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 22-01-08
- PA: RN seeks comp. for hepatitis C from 'sticks': courts upholds worke...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2003-4-1
- MA: OR nurse claims comp. for MCS: comp. denied due to 'medical uncert...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2002-5-9
- Designing Programs That Check Their Work 1989 248 citations ? 21 self
- A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run, the checker certifies whether the output o...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- PA: nurse has two workers' comp. claims: court order prohibits comp. c...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2002-5-1
- Designing Programs That Check Their Work 1989 248 citations ? 21 self
- A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run, the checker certifies whether the output o...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- A new approach to multicasting and QoS within an MPLS backbone
- Abstract Multicasting techniques can be applied to facilitate applications such as video conference-calls and multimedia distribution. Multicasting enhances network utilization by containing traffic ...
-
Rating:
Views: (2003)
Pages: (0)
Uploaded: Publication Date: 0-0 0
- Designing Programs That Check Their Work 1989 248 citations ? 21 self
- A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run, the checker certifies whether the output o...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09