936 search results - page 52 / 188 » Mathematical Models of Endocrine Systems |
198
click to vote
EUROCAST
2001
Springer
15 years 10 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...
170
click to vote
CDC
2008
IEEE
16 years 15 days 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...
169
click to vote
CONCUR
2001
Springer
15 years 10 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...
136
click to vote
APSEC
2000
IEEE
15 years 10 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...
159
click to vote
GROUP
1997
ACM
15 years 10 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...