152 search results - page 1 / 31 » A formal mathematical framework for modeling probabilistic h... |
AMAI
2006
Springer
13 years 6 months ago
2006
Springer
CMSB
2010
Springer
13 years 1 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
FMCO
2006
Springer
13 years 10 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
RTSS
2003
IEEE
13 years 12 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
GECCO
2008
Springer
13 years 7 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...