5374 search results - page 56 / 1075 » The induction of communication protocols |
159
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
191
click to vote
ENTCS
2006
15 years 6 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
141
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Today, SIP is a protocol par Excellence in the field of communication over Internet. But, the fact that it belongs to the application layer constitutes a weakness vis-
133
click to vote
COMCOM
2000
15 years 6 months ago
2000
The ATM networks have been widely adopted as the backbone networks. LANE is adopted by the MPOA protocol for the intra-IASG communication. In LANE, the edge devices have become pe...
143
click to vote
ICICS
1997
Springer
15 years 10 months ago
1997
Springer
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly t...