3742 search results - page 79 / 749 » On the Use of Formal Techniques for Validation |
216
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
184
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...
153
click to vote
ICS
2005
Tsinghua U.
15 years 11 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
167
click to vote
ISSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Synchronous Dataflow, a subset of dataflow, has proven to be a good match for specifying DSP programs. Because of the limited amount of memory in embedded DSPs, a key problem duri...
165
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...