3804 search results - page 468 / 761 » interactions 2008 |
154
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
157
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
158
click to vote
FPLAY
2008
15 years 8 months ago
2008
In this paper, we describe a cumulative context computer game, where accumulated contextual information of the players activity levels, obtained through mobile sensors, is used to...
180
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes an architectural framework adopting the principles of Service Oriented Architecture for deploying unified communications over the Internet. Also discuss the p...
169
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
After more than a decade of e-government research, little work has been done to envision the longer term future of government and society and the unanswered questions associated w...