2404 search results - page 223 / 481 » Middleware for pervasive computing |
113
Voted
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses two problems: “What are the appropriate methods for evaluating information systems?” and “How do we measure the impact of ambient information systems?...
118
Voted
TPHOL
2005
IEEE
15 years 9 months 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...
145
Voted
EUC
2005
Springer
15 years 9 months 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...
140
Voted
PERVASIVE
2004
Springer
15 years 9 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...
104
Voted
FAST
2003
15 years 5 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 ...