4890 search results - page 82 / 978 » From system specifications to component behavioral models |
UIST
2000
ACM
15 years 2 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...
COMPSAC
2007
IEEE
15 years 1 months ago
2007
IEEE
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
VRST
2005
ACM
15 years 3 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
We present a machine-learned model that can automatically detect when a student using an intelligent tutoring system is off-task, i.e., engaged in behavior which does not involve ...
RE
2001
Springer
15 years 2 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 ...