1842 search results - page 123 / 369 » Measurable systems and behavioral sciences |
129
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we introduce an interdisciplinary project to develop a virtual reality enhanced stroke rehabilitation system (VRSRS). In particular, we propose a human factors desig...
159
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
149
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
183
click to vote
WCE
2007
15 years 7 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
201
click to vote
STACS
2005
Springer
16 years 8 hour ago
2005
Springer
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other...