4460 search results - page 578 / 892 » Formal methods for interactive systems |
170
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
173
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
135
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Interviews are a cornerstone of human-computer interaction research. As a research method, they can both be deeply valuable and distinctly challenging. Pragmatic challenges of int...
171
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We present a method for performing selection tasks based on continuous control of multiple, competing agents who try to determine the user's intentions from their control beh...
194
click to vote
3DPVT
2006
IEEE
16 years 21 days ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...