4360 search results - page 300 / 872 » Socio-technical systems: From design methods to systems engi... |
154
Voted
HCI
2007
15 years 9 months ago
2007
In this paper, we developed a fingertip finding algorithm working with a regular diffuser. The proposed algorithm works on images captured by infra-red cameras, settled on one side...
193
click to vote
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
The products of systems cannot always be judged at face value: the process by which they were obtained is also important. For instance, the rigour of a scientific experiment, the e...
212
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
209
Voted
VSTTE
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
216
click to vote
IUI
2004
ACM
16 years 26 days ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...