5434 search results - page 659 / 1087 » Tool support for MOLA |
183
click to vote
IV
2005
IEEE
16 years 14 days ago
2005
IEEE
An approach of employing Information Visualisation to develop systems that facilitate instructors in web-based distance learning is presented here. The paper describes a tool, cal...
169
click to vote
MMM
2005
Springer
16 years 14 days ago
2005
Springer
We present a system for real-time configuration of multimodal interfaces to Virtual Environments (VE). The flexibility of our tool is supported by a semantics-based representati...
181
click to vote
PDP
2005
IEEE
16 years 14 days ago
2005
IEEE
The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
164
click to vote
SEFM
2005
IEEE
16 years 14 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
154
click to vote
SWSTE
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...