5374 search results - page 142 / 1075 » The induction of communication protocols |
189
click to vote
RSP
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
181
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
The wireless network scenario here is based on N users that communicate one with the others through a central relay node by adopting the Analog Network Coding (ANC) paradigm. In th...
148
click to vote
PIMRC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract—The Media Independent Handover (MIH) architecture is designed to facilitate the signaling and enable seamless handovers in heterogeneous networks. In this paper, we prop...
140
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtim...
185
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
A new identity-based key agreement protocol designed to operate on thenetworklayerispresented. Endpoint addresses, namelyIP and MAC addresses, areusedaspublickeystoauthenticatethe ...