4609 search results - page 426 / 922 » Automatic Generation of Sigma-Protocols |
154
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
174
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
157
Voted
JCDL
2003
ACM
16 years 2 days ago
2003
ACM
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
159
click to vote
CAEPIA
2003
Springer
16 years 2 days ago
2003
Springer
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...
159
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
IVPrototype is an Information Visualization Prototype for the visualization of both geometrical and non-geometrical data. Our goal is to provide a generic system that automaticall...