2586 search results - page 305 / 518 » Automatic Abstraction for Congruences |
228
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
181
click to vote
DAGSTUHL
2011
14 years 6 months ago
2011
Saliency-based analysis can be applied to time-varying 3D datasets purpose of summarization, abstraction, and motion analysis. As the sizes of time-varying datasets continue to gro...
180
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
145
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
196
click to vote
WISE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...