526 search results - page 67 / 106 » An HTML Interface for Classic |
118
click to vote
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
We describe a rhythmic interaction mechanism for mobile devices. A PocketPC with a three degree of freedom linear acceleration meter is used as the experimental platform for data ...
148
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
187
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents the SPIN micro-network that is a generic, scalable interconnect architecture for system on chip. The SPIN architecture relies on packet switching and point-to-...
114
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
136
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
In today’s applications, most users disregard the security functionality. They do not have the knowledge and/or the motivation to configure or to use the existing security func...