599 search results - page 80 / 120 » Multimodal Interaction in Architectural Design Applications |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
SOUPS
2005
ACM
14 years 2 months ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...
LEGE
2003
13 years 10 months ago
2003
ELeGI, the European Learning Grid Infrastructure, has the ambitious goal of fostering effective learning and knowledge construction through the dynamic provision of service-based ...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
— We have developed the first real-time 3-D image sensor with VGA pixel resolution using mixed-signal techniques to achieve high-speed and high-accuracy range calculation based ...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...