1782 search results - page 196 / 357 » Tool Support for Proof Engineering |
205
click to vote
EUROCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
155
click to vote
ECLIPSE
2006
ACM
16 years 13 days ago
2006
ACM
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
206
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
170
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Small molecules are of increasing interest for bioinformatics in areas such as metabolomics and drug discovery. The recent release of large open access chemistry datab...
173
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...