5838 search results - page 1066 / 1168 » A File System for System Programming in Ubiquitous Computing |
180
click to vote
MIDDLEWARE
2007
Springer
16 years 10 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
189
click to vote
SPIN
2007
Springer
16 years 9 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
178
click to vote
UIC
2007
Springer
16 years 9 days ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
139
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
164
click to vote
HRI
2006
ACM
16 years 5 days ago
2006
ACM
This paper presents results toward our ongoing research program into hands-off assistive human-robot interaction [6]. Our work has focused on applications of socially assistive r...