2948 search results - page 12 / 590 » More Principled Design of Pervasive Computing Systems |
FASE
2000
Springer
14 years 5 days ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
PERVASIVE
2010
Springer
14 years 3 months ago
2010
Springer
As sensing technologies become increasingly distributed and democratized, citizens and novice users are becoming responsible for the kinds of data collection and analysis that have...
PERCOM
2008
ACM
13 years 8 months ago
2008
ACM
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...