3828 search results - page 41 / 766 » Proof-Based System Engineering Using a Virtual System Model |
119
click to vote
VRST
2006
ACM
15 years 8 months ago
2006
ACM
Designing and building Virtual Environments is not an easy task, especially when it comes to specifying object behavior where either knowledge about animation techniques or progra...
129
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
160
click to vote
WSC
2000
15 years 3 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
119
click to vote
EMISA
2007
Springer
15 years 8 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
109
click to vote
SI3D
1999
ACM
15 years 6 months ago
1999
ACM
We present a system for rendering very complex 3D models at interactive rates. We select a subset of the model as preferred viewpoints and partition the space into virtual cells. ...