3884 search results - page 553 / 777 » A simplified modeling approach for human system interaction |
208
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we propose a system for helping users to judge the credibility of Web search results and to search for credible Web pages. Conventional Web search engines present o...
203
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
168
click to vote
ISWC
2003
IEEE
15 years 12 months ago
2003
IEEE
All wearable centric location sensing technologies must address the issue of clock synchronisation between signal transmitting systems and signal receiving systems. GPS receivers,...
177
click to vote
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
213
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...