2836 search results - page 233 / 568 » Model Checking for Software Architectures |
138
Voted
IEEEAMS
2002
IEEE
2002
IEEE
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
15 years 9 months ago
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...
132
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
113
click to vote
WSC
1997
15 years 5 months ago
1997
The High Level Architecture (HLA) provides the specification of a common technical architecture for use across all classes of simulations in the US Department of Defense. It provi...
156
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
126
click to vote
COMPUTER
2004
15 years 4 months ago
2004
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...