4460 search results - page 768 / 892 » Formal methods for interactive systems |
131
Voted
IJHCI
2010
15 years 2 months ago
2010
The term usability is ubiquitous in human-computer interaction, so much so that it is commonly used without definition. Rather than one established meaning of usability, there are,...
144
Voted
TMC
2010
15 years 2 months ago
2010
—Evaluating and quantifying trust stimulates collaboration in mobile ad hoc networks (MANETs). Many existing reputation systems sharply divide the trust value into right or wrong...
126
Voted
CJ
2010
15 years 1 months ago
2010
Consistent with the divide-and-conquer approach to problem solving, a recursive result is presented in the domain of stochastic modelling that derives product-form solutions for t...
150
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Game theory is emerging as a popular tool for distributed control of multiagent systems. In order to take advantage of these game theoretic tools the interactions of the autonomous...
155
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents an adaptive haptic control for a one degree-of-freedom surgical device. The control addresses the problem of hitting a solid object too hard in the presence of ...