1796 search results - page 170 / 360 » An Approach to Compositional Model Checking |
126
Voted
AOSD
2012
ACM
13 years 10 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
134
Voted
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
121
click to vote
ENTCS
2010
15 years 2 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
106
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
Continuous-time Markov chains (CTMCs) have been used successfully to model the dependability and performability of many systems. Matrix diagrams (MDs) are known to be a space-ef...
130
Voted
SIGSOFT
2009
ACM
15 years 9 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...