1536 search results - page 103 / 308 » Flexible simulation of distributed protocols for mobile comp... |
114
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—Applications on mobile computers must adapt to high variability in wireless network performance. Extending the semantics of transport protocols to offer more control over commun...
104
Voted
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Recently the concept of personal PKI was introduced to describe a public key infrastructure specifically designed to support the distribution of public keys in a personal...
105
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
126
Voted
TLCA
2007
Springer
15 years 9 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...
129
Voted
ICDCSW
2007
IEEE
15 years 7 months ago
2007
IEEE
VANETs (Vehicle Ad hoc NETworks) are highly mobile wireless ad hoc networks targeted to support vehicular safety and other commercial applications. Conventional routing protocols ...