433 search results - page 48 / 87 » Contracts: From Analysis to C Implementation |
DCC
2008
IEEE
15 years 9 months ago
2008
IEEE
There are two main classes of decoding algorithms for "compressed sensing," those which run time time polynomial in the signal length and those which use sublinear resou...
DCC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we discuss the security of digital signature schemes based on error? correcting codes. Several attacks to the Xinmei scheme are surveyed, and some reasons given to e...
110
click to vote
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
SIGSOFT
1994
ACM
15 years 1 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we analyze the effectiveness of dynamic artificial diversity, i.e., artificial diversity in which the subject of the diversity is re-randomized periodically. We refer...