13137 search results - page 2324 / 2628 » A Science of Software Design |
141
click to vote
SEW
2006
IEEE
16 years 22 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
165
click to vote
SRDS
2006
IEEE
16 years 22 days ago
2006
IEEE
The web is a complicated graph, with millions of websites interlinked together. In this paper, we propose to use this web sitegraph structure to mitigate flooding attacks on a we...
133
Voted
VTC
2006
IEEE
16 years 22 days ago
2006
IEEE
In this study, a new physical layer transmission technique is proposed with the spectrum efficiency up to two times of that of the Eureka-147 DAB system. The proposed technique com...
184
click to vote
WCRE
2006
IEEE
16 years 22 days ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
234
click to vote
WETICE
2006
IEEE
16 years 22 days ago
2006
IEEE
Peer-to-Peer architecture is currently an attractive solution for facilitating the use of collaboration software without any server. Multicasting is usually proposed for group com...