4609 search results - page 781 / 922 » Automatic Generation of Sigma-Protocols |
174
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
164
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
162
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
158
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
180
Voted
AUSDM
2006
Springer
15 years 9 months ago
2006
Springer
Harmonic monitoring has become an important tool for harmonic management in distribution systems. A comprehensive harmonic monitoring program has been designed and implemented on ...