2162 search results - page 341 / 433 » A Meta-Notation for Protocol Analysis |
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
PERCOM
2008
ACM
15 years 9 months ago
2008
ACM
Counting or estimating the number of tags is crucial for large-scale RFID systems. The use of multiple readers was recently proposed to improve the efficiency and effectiveness in ...
CTRSA
2009
Springer
15 years 4 months ago
2009
Springer
Digital Enhanced Cordless Telecommunications (DECT) is a standard for connecting cordless telephones to a fixed telecommunications network over a short range. The cryptographic al...
OTM
2009
Springer
15 years 4 months ago
2009
Springer
This paper proposes new protocols for the interconnection of FIFO- and causal-ordered broadcast systems, thus increasing their scalability. They use several interconnection links b...
DSD
2008
IEEE
15 years 4 months ago
2008
IEEE
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...