1914 search results - page 115 / 383 » Verification by Abstract Interpretation |
CISC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we propose a signcryption scheme which provides all the following properties at the same time. (1) forward security: the private key of a sender does not h...
88
Voted
ICB
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Spectral subband centroids (SSC) have been used as an additional feature to cepstral coefficients in speech and speaker recognition. SSCs are computed as the centroid fre...
86
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
90
Voted
APN
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
112
click to vote
ASYNC
1997
IEEE
15 years 4 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...