418 search results - page 52 / 84 » A Formal Model of Human Workflow |
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
EXPERT
2006
14 years 9 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
TGIS
2002
14 years 9 months ago
2002
While the presence of uncertainty in the geometric and attribute aspects of geographic information is well known, it is also present in temporal information. In spatiotemporal GIS...
51
Voted
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Recent world-wide crisis events have drawn new attention to the role information communication technology (ICT) can play in warning and response activities. Drawing on disaster so...
101
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...