Sciweavers

3276 search results - page 37 / 656
» Data Management for Pervasive Computing
Sort
View
PERCOM
2007
ACM
15 years 9 months ago
Dynamic Context Bindings in Pervasive Middleware
Context-awareness (CA) enables the development of personalized pervasive services. Current context-aware infrastructures focus on middleware solutions to support acquisition, usag...
Tom Broens, Marten van Sinderen, Aart van Halteren...
ACSW
2003
14 years 11 months ago
A Secure Pervasive Environment
This paper explores the complications encountered when attempting to create a secure pervasive computing environment. The model introduced in this paper is primarily conceptual. T...
Patrick G. McLean
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
14 years 8 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
CLOUDCOM
2010
Springer
14 years 8 months ago
An Interface Design for Future Cloud-Based Visualization Services
The pervasive concept of cloud computing suggests that visualization, which is both data and computing intensive, is a perfect cloud computing application. This paper presents a s...
Yuzuru Tanahashi, Cheng-Kai Chen, Stephane Marches...
MOBILWARE
2009
ACM
15 years 4 months ago
Pervasive Adaptation in Car Crowds
Abstract. Advances in the miniaturization and embedding of electronics for microcomputing, communication and sensor/actuator systems, have fertilized the pervasion of technology in...
Alois Ferscha, Andreas Riener