3504 search results - page 512 / 701 » Secure protocol composition |
106
click to vote
DSD
2008
IEEE
15 years 8 months 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...
112
click to vote
TLCA
2007
Springer
15 years 7 months 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...
116
click to vote
IFIP
2004
Springer
15 years 7 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...
SIGCOMM
1996
ACM
15 years 5 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...
144
Voted
FGR
2006
IEEE
15 years 5 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...