2960 search results - page 339 / 592 » A vision for embedded software |
123
click to vote
AUIC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a novel use of augmented reality for the visualisation of virtual objects as part of the move towards pervasive computing. It uses fiducial markers as switche...
129
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
143
click to vote
IJPRAI
2010
15 years 1 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
170
click to vote
PEPM
2012
ACM
14 years 7 days ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
182
click to vote
ITS
1998
Springer
15 years 9 months ago
1998
Springer
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...