3504 search results - page 512 / 701 » Secure protocol composition |
156
click to vote
DSD
2008
IEEE
16 years 27 days ago
2008
IEEE
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
167
click to vote
TLCA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
162
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
152
click to vote
SIGCOMM
1996
ACM
15 years 10 months ago
1996
ACM
Application-specific safe message handlers (ASHs) are designed to provide applications with hardware-level network performance. ASHs are user-written code fragments that safely an...
195
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...