936 search results - page 31 / 188 » Mathematical Models of Endocrine Systems |
VOSS
2004
Springer
14 years 3 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
VOSS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
ASMTA
2008
Springer
13 years 12 months ago
2008
Springer
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...
ANSS
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents an analytical method for the performability evaluation of a previously reported network memory server attached to a local area network. To increase the perform...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...