2836 search results - page 26 / 568 » Model Checking for Software Architectures |
120
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
46
Voted
BMCBI
2010
15 years 2 months ago
2010
97
Voted
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
161
Voted
FORTE
2009
15 years 11 days ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
85
Voted
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer