2836 search results - page 348 / 568 » Model Checking for Software Architectures |
181
Voted
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
180
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
215
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
170
click to vote
FSTTCS
2004
Springer
16 years 2 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
252
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...