4305 search results - page 127 / 861 » Analysing Protocol Implementations |
FORTE
1998
13 years 10 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
IGPL
2010
13 years 7 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Although the SIP protocol claims a complete dualstack support, some aspects, such as interoperability between different address realms and support for multi-homed hosts...