1774 search results - page 166 / 355 » Modeling Dynamic Component Interfaces |
CODES
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
VR
2002
IEEE
14 years 2 months ago
2002
IEEE
We present a system, ArtNova, for 3D model design with a haptic interface. ArtNova offers the novel capability of interactively applying textures onto 3D surfaces directly by brus...
KDD
2000
ACM
14 years 27 days ago
2000
ACM
This paper presents the MicroNOMAD Discovering Tool. Its main characteristic is both to provide an user with emergent analyses of a multimedia database content and with querying a...
PVM
2007
Springer
14 years 3 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
BIOCOMP
2006
13 years 10 months ago
2006
Intracellular signaling pathways as well as the interactions and coordination that exist among them are complex and difficult to visualize and understand. Computer-based models of...