1463 search results - page 174 / 293 » Model Checking Implicit-Invocation Systems |
157
click to vote
ASIAN
2009
Springer
15 years 2 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...
108
Voted
SSS
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
FMICS
2007
Springer
15 years 5 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
141
click to vote
ADVIS
2006
Springer
15 years 7 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
111
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...