2067 search results - page 17 / 414 » Modeling and Simulation of Operating System Behavior |
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
WSC
2008
14 years 12 months ago
2008
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
WSC
2000
14 years 11 months ago
2000
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...
78
Voted
WSC
2008
14 years 12 months ago
2008
This paper describes a framework of real-time simulation for modeling heavy construction operations. Compared with the traditional offline simulation that uses stationary inputs, ...