2687 search results - page 233 / 538 » Formal Analysis of PKCS |
174
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
170
click to vote
CNSR
2006
IEEE
16 years 21 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
157
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
244
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
162
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...