2586 search results - page 362 / 518 » Automatic Abstraction for Congruences |
181
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
155
click to vote
FC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a scheme for privacy-preserving escrow of financial transactions. The objective of the scheme is to preserve privacy and anonymity of the individual user enga...
160
click to vote
FC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Ciphire Mail is cryptographic software that provides email encryption and digital signatures. The Ciphire Mail client resides on the user's computer between the emai...
171
click to vote
GW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the last decade speech processing has been applied in commercially available products. One of the key reasons for its success is the identification and use of an unde...
154
click to vote
HIPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...