333 search results - page 35 / 67 » Tools for designing and prototyping activity-based pervasive... |
ICWS
2003
IEEE
13 years 10 months ago
2003
IEEE
The enormous growth in wireless communications and miniaturized handheld devices in the last few years, have given rise to a vast range of new services, for heterogeneous user env...
GCC
2006
Springer
14 years 8 days ago
2006
Springer
Some popular computing technologies, such as ubiquitous computing, grid computing and thin-client computing, bring people to a much more distributed and pervasive computing enviro...
SWWS
2007
13 years 9 months ago
2007
- In recent years, computing becomes more mobile and pervasive; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly d...
ISLPED
2004
ACM
14 years 2 months ago
2004
ACM
Voltage islands enable core-level power optimization for Systemon-Chip (SoC) designs by utilizing a unique supply voltage for each core. Architecting voltage islands involves isla...
TACAS
1998
Springer
14 years 25 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...