936 search results - page 52 / 188 » Mathematical Models of Endocrine Systems |
EUROCAST
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
APSEC
2000
IEEE
14 years 2 months ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
GROUP
1997
ACM
14 years 2 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...