15 search results - page 1 / 3 » ecbs 2009 |
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
ECBS
2009
IEEE
14 years 26 days ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...