4340 search results - page 608 / 868 » Formal Methods and Cryptography |
162
click to vote
MPC
2004
Springer
15 years 12 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
179
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
143
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
177
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Inductive representation of conditional knowledge means to complete knowledge appropriately and can be looked upon as an instance of quite a general representation problem. The cr...
150
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...