2618 search results - page 436 / 524 » The user in experimental computer systems research |
325
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
159
click to vote
ICB
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. A palmprint based authentication system that can work with a multipurpose camera in uncontrolled circumstances, such as those mounted on a laptop, mobile device or those ...
154
click to vote
MSWIM
2006
ACM
16 years 10 days ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
151
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
A peer-to-peer(P2P) system comprises a network of nodes that are capable of sharing and exchanging resources with one another. Recent studies of P2P networks show that many resour...
134
click to vote
VRST
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents a telerehabilitation system for kinesthetic therapy (treatment of patients with arm motion coordination disorders). Patients can receive therapy while being im...