4460 search results - page 427 / 892 » Formal methods for interactive systems |
158
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
165
click to vote
AAMAS
2007
Springer
15 years 7 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
200
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
174
click to vote
IS4TH
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents the haptic interaction method when the interaction occurs at several points simultaneously. In many virtual training systems that interact with a virtual object...
189
click to vote
VRML
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...