Introduction To Ieee P1900.4 Activities | 28 | 4.34 | 2008 |
Introduction to IEEE P1900.4 Activities. | 0 | 0.34 | 2008 |
Petri-nets for formal verification of MAC protocols | 0 | 0.34 | 2007 |
Petri-nets for formal verification of MAC protocols | 3 | 0.41 | 2007 |
Toward Formal Verification Of 802.11 Mac Protocols: A Case Study Of Applying Petri-Nets To Modeling The 802.11 Pcf | 3 | 0.51 | 2006 |
Enhancing IEEE802.11 DCF using Genetic Programming | 3 | 0.48 | 2006 |
Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract) | 0 | 0.34 | 2006 |
Spy Agents: Evaluating Trust in Remote Environments | 2 | 0.41 | 2005 |
Flexible Delegation Security for Improved Distribution in Ubiquitous Environments | 0 | 0.34 | 2003 |