1144 search results - page 159 / 229 » Protocol Implementation in a Vertically Structured Operating... |
104
click to vote
ICFP
2012
ACM
13 years 3 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
CIA
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents the design of an open architecture for heterogeneous negotiating agents. Both the system level architecture as well as the architecture for negotiating agents a...
SECON
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper investigates the benefit of network coding for TCP traffic in a wireless mesh network. We implement network coding in a real wireless mesh network and measure TCP thr...