Efficiently verifying safety properties with idle office computers
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Communication Architectures for Massive Multi-Player Games
Multimedia Tools and Applications
Variant Chinese Domain Name Resolution
ACM Transactions on Asian Language Information Processing (TALIP)
Fast, efficient, and robust multicast in wireless mesh networks
Proceedings of the 5th ACM symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
IEEE 802.11 WLAN for medical-grade QoS
Proceedings of the 1st ACM international workshop on Medical-grade wireless networks
Providing DoS resistance for signature-based broadcast authentication in sensor networks
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |