10038 search results - page 1716 / 2008 » Model Checking for Managers |
199
click to vote
MOBIWAC
2006
ACM
16 years 15 days ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
138
click to vote
GRAPHITE
2005
ACM
16 years 3 days ago
2005
ACM
Drawing on paper is an experience which is still unmatched by any input device for drawing into a computer in terms of accuracy, dexterity and general pleasantness of use. This pa...
173
click to vote
MM
2005
ACM
16 years 3 days ago
2005
ACM
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...
195
click to vote
GI
2005
Springer
16 years 1 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
186
click to vote
MATES
2005
Springer
16 years 22 hour ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...