7861 search results - page 447 / 1573 » Orthographic Modeling Environment |
165
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
156
Voted
WSC
2000
15 years 8 months ago
2000
This paper considers a variety of new technologies for discrete-event simulation software development. Environments and languages for web based simulation are reviewed. Web based ...
167
click to vote
ITCC
2005
IEEE
16 years 13 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
186
click to vote
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
Shape modeling is a very important issue for many study, for example, object recognition for robot vision, virtual environment construction, and so on. In this paper, a new method...
171
click to vote
WSC
2004
15 years 8 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...