2677 search results - page 211 / 536 » Animating pervasive computing |
151
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
184
click to vote
EUC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
195
click to vote
PERVASIVE
2004
Springer
15 years 12 months ago
2004
Springer
Though the common conception of human-computer interfaces is one of screens and keyboards, the emergence of ubiquitous computing envisions interfaces that will spread from the desk...
144
click to vote
FAST
2003
15 years 8 months ago
2003
We show how untrusted computers can be used to facilitate secure mobile data access. We discuss a novel architecture, data staging, that improves the performance of distributed ...
157
click to vote
PERVASIVE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we present Microsearch, a search system suitable for small devices used in ubiquitous computing environments. Akin to a desktop search engine, Microsearch ...