5232 search results - page 809 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
180
click to vote
VL
2005
IEEE
16 years 4 days ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
203
click to vote
HASKELL
2005
ACM
16 years 4 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
156
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...
178
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Within the field of computer graphics and visualization, it is often necessary to visualize polygonal models with large number of polygons. Display quality is mandatory, but it i...
203
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...