4286 search results - page 362 / 858 » Formalizing Service Interactions |
168
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
159
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
While the recent developments in access technologies such as DSL and cable enable end-users to communicate with each other in the means of video and voice, there still exist sever...
155
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
To understand how and why individuals make use of emerging information assimilation services on the Web as part of their daily routine, we combined video recordings of online acti...
200
click to vote
ISVC
2007
Springer
16 years 24 days ago
2007
Springer
A major challenge in deploying service robots into the real world is to design a framework that provides effective, long-term interactions with people. This includes interacting w...
179
click to vote
MHCI
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...