32032 search results - page 171 / 6407 » Verified programming in Guru |
151
Voted
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
205
click to vote
STOC
2000
ACM
15 years 9 months ago
2000
ACM
We first study the problem of doing Verifiable Secret Sharing (VSS) information theoretically secure for a general access structure. We do it in the model where private channels b...
171
click to vote
ICCD
1995
IEEE
15 years 9 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
156
Voted
USS
2008
15 years 8 months ago
2008
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed...
155
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...