4305 search results - page 299 / 861 » Analysing Protocol Implementations |
137
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Several new wait-free object-sharing schemes for realtime uniprocessors and multiprocessors are presented. These schemes have characteristics in common with the priority inheritan...
187
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
182
click to vote
PTS
2000
15 years 8 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
178
click to vote
CN
2008
15 years 6 months ago
2008
A framework for reducing the average reading time of passive RFID tags in dense environments is introduced. The proposed framework termed Accelerated Frame Slotted ALOHA (AFSA) ca...
151
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...