2162 search results - page 105 / 433 » A Meta-Notation for Protocol Analysis |
152
click to vote
DCOSS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Every physical event results in a natural information gradient in the proximity of the phenomenon. Moreover, many physical phenomena follow the diffusion laws. This natu...
178
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
110
Voted
GLOBECOM
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract—In this paper, a family of linear congruence sequences with interesting cross-correlation properties is investigated for potential applications in defining new multiple...
156
click to vote
ICC
2007
IEEE
15 years 12 months ago
2007
IEEE
— In this paper a new protocol for IP mobility management is described, which follows a network-based approach and fulfils the requirements of optimized usage of radio spectrum a...
158
click to vote
IPPS
2007
IEEE
15 years 12 months ago
2007
IEEE
Nowadays, distributed collaborative virtual environments are used in many scenarios such as tele-surgery, gaming, and industrial training, However several challenging issues remai...