Sciweavers

1281 search results - page 225 / 257
» Software Visualization for Reverse Engineering
Sort
View
APSEC
2003
IEEE
13 years 11 months ago
Rigorous EBNF-based Definition for a Graphic Modeling Language
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
Yong Xia, Martin Glinz
UIST
1991
ACM
13 years 11 months ago
On temporal-spatial realism in the virtual reality environment
The Polhemus Isotrak is often used as an orientation and position tracking device in virtual reality environments. When it is used to dynamically determine the user's viewpoi...
Jiandong Liang, Christopher D. Shaw, Mark Green
AVI
2008
13 years 10 months ago
A system for dynamic 3D visualisation of speech recognition paths
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
Saturnino Luz, Masood Masoodian, Bill Rogers, Bo Z...
CODES
2008
IEEE
13 years 9 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
CSSE
2008
IEEE
13 years 9 months ago
JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
Giovanni Malnati, Caterina Maria Cuva, Claudia Bar...