2836 search results - page 50 / 568 » Model Checking for Software Architectures |
143
Voted
WICSA
2004
15 years 4 months ago
2004
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...
88
Voted
ADAEUROPE
2009
Springer
15 years 10 months ago
2009
Springer
107
Voted
WOSP
2000
ACM
15 years 7 months ago
2000
ACM
129
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...