Sciweavers

2026 search results - page 232 / 406
» Game Engines for Visualization
Sort
View
WCRE
2010
IEEE
15 years 2 months ago
Computer-Aided Extraction of Software Components
—In a software project, outsourcing the development of a particular functionality, reusing a part in another software, or handing-over a part of the code to a new team member req...
Andreas Marx, Fabian Beck, Stephan Diehl
ICSE
2009
IEEE-ACM
15 years 2 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
IUI
2011
ACM
14 years 7 months ago
Continuous marking menus for learning cursive pen-based gestures
In this paper, we present a new type of Marking menus. Continuous Marking Menus are specifically dedicated to penbased interfaces, and designed to define a set of cursive, reali...
Adrien Delaye, Rafik Sekkal, Éric Anquetil
MICCAI
1999
Springer
15 years 8 months ago
A 3d Puzzle for Learning Anatomy
We present a new metaphor for learning anatomy - the 3d puzzle. With this metaphor students learn anatomic relations by assembling a geometric model themselves. For this purpose, a...
Bernhard Preim, Felix Ritter, Oliver Deussen
POPL
2005
ACM
16 years 4 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...