805 search results - page 31 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
186
click to vote
CHI
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we discuss the potential for effective representations of video data to aid analysis of large datasets of video clips and describe a prototype developed to explore ...
143
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
143
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
103
click to vote
CHI
2001
ACM
16 years 3 months ago
2001
ACM
CARD (Collaborative Analysis of Requirements and Design) is an influential technique for participatory design and participatory analysis that is in use on three continents. This p...
134
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
In this work-in-progress report we present the results of a preliminary analysis of a set of fieldwork studies conducted in collaboration with a firefighter school and a firefight...