54 search results - page 8 / 11 » Compositional Verification for Component-Based Systems and A... |
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
CSFW
2004
IEEE
14 years 11 days ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
FAC
2008
13 years 8 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...