152 search results - page 25 / 31 » A formal mathematical framework for modeling probabilistic h... |
EUROMICRO
2009
IEEE
13 years 10 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
ICCS
2004
Springer
14 years 2 days ago
2004
Springer
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
MEMOCODE
2006
IEEE
14 years 22 days 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...
COORDINATION
2009
Springer
14 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
STEP
2003
IEEE
13 years 12 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...