1398 search results - page 27 / 280 » Ensuring Properties of Interaction Systems |
109
click to vote
IFIP13
2004
14 years 11 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
HIS
2008
14 years 11 months ago
2008
In order to produce robots which can interact more effectively with humans we propose that it is necessary for their cognitive processes to be grounded in the same perceptual elem...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Shoogle is a novel interface for sensing data within a mobile device, such as presence and properties of text messages or remaining resources. It is based around active exploratio...
KR
2010
Springer
15 years 1 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
INFOVIS
1998
IEEE
15 years 2 months ago
1998
IEEE
Information visualization encounters a wide variety of different data domains. The visualization community has developed representation methods and interactive techniques. As a co...