7189 search results - page 1077 / 1438 » Connecting Design with Code |
150
click to vote
RSP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents the design and the performance evaluation of a coarse-grain dynamically reconfigurable platform for network applications. The platform consists of two MicroBla...
124
Voted
SEW
2006
IEEE
15 years 11 months 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...
130
Voted
SRDS
2006
IEEE
15 years 11 months 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...
149
Voted
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
—Delay and disruption tolerant networks have been proposed to address data communication challenges in network scenarios where an instantaneous end-to-end path between a source a...
140
Voted
CSCW
2006
ACM
15 years 11 months ago
2006
ACM
This work seeks to strengthen interaction within a research community through a centrally-located physical device that presents online presence information in a semi-public space....