936 search results - page 92 / 188 » Mathematical Models of Endocrine Systems |
109
Voted
HICSS
2011
IEEE
14 years 4 months ago
2011
IEEE
— Decision optimization is used in many applications such as those for finding the best course of action in emergencies. However, optimization solutions require considerable mat...
65
Voted
SIAMAM
2008
15 years 17 days ago
2008
We study a chemostat model that describes competition between n microbial species for a single-limited resource based on storage. The model incorporates internal resource storage v...
ERSHOV
1993
Springer
15 years 4 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
91
Voted
MEMOCODE
2006
IEEE
15 years 6 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
87
Voted
TODAES
1998
15 years 9 days ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...