Sciweavers

224 search results - page 21 / 45
» pervasive 2006
Sort
View
PERVASIVE
2006
Springer
14 years 10 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
PERCOM
2006
ACM
15 years 9 months ago
Plan B: An Operating System for Ubiquitous Computing Environments
The conventional approach for building pervasive environments relies on middleware to integrate different systems. Instead, we have built a system that can deal with these environ...
Francisco J. Ballesteros, Enrique Soriano, Katia L...
PERCOM
2006
ACM
15 years 9 months ago
A Reusable, Extensible Infrastructure for Augmented Field Trips
This paper describes a reusable pervasive information infrastructure developed as part of the Equator IRC, designed to allow the construction of literacy based eLearning activitie...
Mark J. Weal, Don Cruickshank, Danius T. Michaelid...
PERCOM
2006
ACM
15 years 9 months ago
Reducing Configuration Overhead with Goal-oriented Programming
The rapid increase in the number and variety of consumer-level electronic devices without the corresponding development of device management technology has lead to a configuration ...
Justin Mazzola Paluska, Hubert Pham, Umar Saif, Ch...
DSVIS
2006
Springer
15 years 1 months ago
Rapid User-Centred Evaluation for Context-Aware Systems
This paper describes a platform for the user-centred design and evaluation of adaptive, context-aware services in the wireless, mobile and pervasive computing markets. It focuses o...
Eleanor O'Neill, David Lewis, Kris McGlinn, Simon ...