4460 search results - page 303 / 892 » Formal methods for interactive systems |
169
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents the perspective that sustainability can and should be a central focus of interaction design--a perspective that is termed Sustainable Interaction Design (SID)....
188
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...
149
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
Abstract— The relationship between changes in gene expression and physical characteristics associated with Down syndrome is not well understood. Chromosome 21 genes interact with...
156
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
185
click to vote
COMMA
2006
15 years 8 months ago
2006
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...