726 search results - page 84 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
159
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
127
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
162
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
187
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
116
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Although usability is the core aspect of the whole HCI research field, it still waits for its economic breakthrough. There are some corporations that are famous for their usable p...