4584 search results - page 205 / 917 » interact 2007 |
166
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we present a study of user perceptions on mobile interaction with visual and RFID tags. Although mobile interaction with tags has been proposed in several earlier s...
159
click to vote
CDVE
2007
Springer
16 years 13 days ago
2007
Springer
Analysis of existing ICT-based solutions for the education of long-term ill children reveal several weaknesses with respect to social and cooperative involvement, cost of developme...
137
Voted
ICESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...
161
click to vote
LCN
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract—Distributed interactive applications have become increasingly popular, making it important to address their communication needs, where one of the needs is group communic...
168
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...