936 search results - page 18 / 188 » Mathematical Models of Endocrine Systems |
118
click to vote
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
107
click to vote
MPC
1998
Springer
15 years 7 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
142
click to vote
IJDAR
2011
14 years 10 months ago
2011
Although publicly-available, ground-truthed corpora have proven useful for training, evaluating, and comparing recognition systems in many domains, the availability of such corpor...
146
click to vote
SIMULATION
2011
14 years 10 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
111
click to vote
FORTE
1996
15 years 4 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...