8 search results - page 2 / 2 » Mutation Testing of Protocol Messages Based on Extended TTCN... |
MOBIQUITOUS
2005
IEEE
13 years 11 months ago
2005
IEEE
The publish/subscribe model of communication provides sender/receiver decoupling and selective information dissemination that is appropriate for mobile environments characterized ...
IPPS
1998
IEEE
13 years 10 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
FORTE
2000
13 years 7 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...