1356 search results - page 35 / 272 » The ideal of verified software |
ESORICS
2009
Springer
16 years 11 days ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
103
click to vote
FC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
TSE
2011
14 years 6 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
138
click to vote
TSE
2011
14 years 6 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
CBSE
2006
Springer
15 years 3 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...