5374 search results - page 39 / 1075 » The induction of communication protocols |
108
click to vote
ICDCSW
2000
IEEE
15 years 5 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
SAINT
2006
IEEE
15 years 8 months ago
2006
IEEE
When a multitude of RFID tags are in the interrogating field, an anti-collision technology must be used. In literatures, the reading performance was mainly investigated on the er...
102
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
108
click to vote
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
The advent of high-performance networks in conjunction with low-cost, powerful computational engines has made possible the development of a new set of technologies termed computat...
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
