2195 search results - page 127 / 439 » Prototyping Networked Embedded Systems |
117
click to vote
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
Sophisticated middlebox services–such as network monitoring and intrusion detection, DDoS mitigation, worm scanning, XML parsing and protocol transformation–are becoming incre...
147
click to vote
RSP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
139
click to vote
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In th...
147
click to vote
MIDDLEWARE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
125
click to vote
DBSEC
2007
15 years 4 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...