359 search results - page 6 / 72 » A Formal Model of the Process of Wayfinding in Built Environ... |
RE
2001
Springer
14 years 1 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
DEXAW
1998
IEEE
14 years 19 days ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
CASCON
2010
13 years 3 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
ECBS
1996
IEEE
14 years 23 days ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
DSVIS
2006
Springer
14 years 9 days ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...