2111 search results - page 1 / 423 » How to Program Pervasive Systems |
DEXAW
2003
IEEE
13 years 10 months ago
2003
IEEE
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
ENTCS
2008
13 years 5 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
SAINT
2006
IEEE
13 years 11 months ago
2006
IEEE
1 Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platfor...
DIMEA
2008
13 years 7 months ago
2008
Aesthetics and ludic aspects of pervasive awareness applications make the awareness system more attractive and aesthetically pleasing to its users. The same objective can be achie...
WORDS
2003
IEEE
13 years 10 months ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...