458 search results - page 34 / 92 » Designing and executing protocols using the event calculus |
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Conventional concurrency control protocols are inapplicable in mobile computing environments due to a number of constraints of wireless communications. In this paper, we design a p...
DELTA
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a hardware architecture for layer 2 Multi Protocol Label Switching (MPLS). MPLS is a protocol framework used primarily to prioritize internet traffic and impro...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a hardware architecture for Multi Protocol Label Switching (MPLS). MPLS is a protocol used primarily to prioritize internet traffic and improve bandwidth utili...
ESOP
2006
Springer
14 years 18 days ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
ASIACRYPT
2008
Springer
13 years 11 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...