Sciweavers

2050 search results - page 241 / 410
» Visualization of Component-based Software
Sort
View
B
2007
Springer
15 years 8 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
KBSE
2006
IEEE
15 years 8 months ago
Human-Friendly Line Routing for Hierarchical Diagrams
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
Tobias Reinhard, Christian Seybold, Silvio Meier, ...
SIGCSE
2006
ACM
134views Education» more  SIGCSE 2006»
15 years 8 months ago
jFAST: a java finite automata simulator
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
Timothy M. White, Thomas P. Way
AUIC
2005
IEEE
15 years 8 months ago
Interaction With Partially Transparent Hands And Objects
Visual concealment of important objects and information by hands or tools can make many tasks more difficult. To alleviate this problem, hands and tools can be made partially tran...
Volkert Buchmann, Trond Nilsen, Mark Billinghurst
AUIC
2003
IEEE
15 years 7 months ago
Location based Applications for Mobile Augmented Reality
In this work we investigate building indoor location based applications for a mobile augmented reality system. We believe that augmented reality is a natural interface to visualiz...
Gerhard Reitmayr, Dieter Schmalstieg