6110 search results - page 1061 / 1222 » Graceful Network Operations |
148
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
149
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Biochemical pathways, such as metabolic, regulatory, and signal transduction pathways, constitute complex networks of functional and physical interactions between molecular species...
141
click to vote
HUC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...
157
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Reliable link quality prediction is an imperative for the efficient operation of mobile ad-hoc wireless networks (MANETs). In this paper it is shown that popular link qua...
180
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...