2618 search results - page 436 / 524 » The user in experimental computer systems research |
346
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...
176
click to vote
ICB
2009
Springer
16 years 1 months 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 ...
162
click to vote
MSWIM
2006
ACM
16 years 25 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...
173
click to vote
ATAL
2005
Springer
16 years 12 days 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...
144
click to vote
VRST
2004
ACM
16 years 8 days 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...