4276 search results - page 232 / 856 » Techniques for Empirical Validation |
189
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
121
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we outline the architecture of a peer-to-peer Trust Layer that can be superimposed to metadata generators producing classifications, like our ClassBuilder and BTExac...
189
click to vote
ICCBSS
2003
Springer
15 years 12 months ago
2003
Springer
Among the main activities involved in COTS-based development there are identification, evaluation, and selection of COTS products. Several techniques have been developed for these ...
158
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
172
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...