7009 search results - page 476 / 1402 » Patterns in Complex Systems Modeling |
195
click to vote
TOG
2008
15 years 7 months ago
2008
In this paper, we describe a new system for converting a user's freehand sketch of a tree into a full 3D model that is both complex and realistic-looking. Our system does thi...
218
click to vote
SDL
2003
15 years 9 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
188
click to vote
IEEEIAS
2007
IEEE
16 years 2 months ago
2007
IEEE
Recently, administration of RBAC systems using a role-based approach has become very appealing because of the benefits that such an approach typically brings. This approach uses R...
232
click to vote
DICTA
2003
15 years 9 months ago
2003
Human-Machine interfaces play a role of growing importance as computer technology continues to evolve. Motivated by the desire to provide users with an intuitive gesture input syst...
208
click to vote
ITC
2003
IEEE
16 years 29 days ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...