4772 search results - page 671 / 955 » An approach to interface synthesis |
148
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
183
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents a new interaction technique for browsing large visual information bases in a collaborative environment. The ATELIER project deals with learning environments fo...
196
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
156
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Many people do not read easily. They may have an impairment such as a visual problem. They may be reading in stressful conditions or poor light, or perhaps they are reading in a s...
129
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Many contemporary approaches to environmental sustainability focus on the end-consumer. In this panel, we explore lessons from small food producers for future development of HCI a...