3765 search results - page 243 / 753 » Formal Methods for Systems Engineering Behavior Models |
167
click to vote
QUESTA
1998
15 years 6 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
188
click to vote
ARCS
2004
Springer
16 years 21 hour ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
131
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
A simple dynamic model of agent operation of an infrastructure system is presented. This system evolves over a long time scale by a daily increase in consumer demand that raises t...
187
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...
155
click to vote
WSC
1998
15 years 8 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...