2432 search results - page 152 / 487 » High-level approach to modeling of observed system behavior |
149
click to vote
WSC
2007
15 years 8 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
195
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
146
click to vote
ICFEM
2009
Springer
16 years 29 days ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
185
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
175
click to vote
PRESENCE
2006
15 years 6 months ago
2006
We present a physically-based approach to grasping and manipulation of virtual objects that produces visually realistic results, addresses the problem of visual interpenetration o...