1078 search results - page 58 / 216 » Modelling and Verifying of e-Commerce Systems |
ASIACRYPT
2008
Springer
15 years 1 months ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...
105
click to vote
CADE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
119
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
103
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
ASE
2008
14 years 12 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...