Gary Clemo

According to our database1, Gary Clemo authored at least 10 papers between 2000 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Introduction to IEEE P1900.4 Activities.
IEICE Trans. Commun., 2008

2007
Petri-nets for formal verification of MAC protocols.
IET Softw., 2007

2006
Enhancing IEEE802.11 DCF using Genetic Programming.
Proceedings of the 63rd IEEE Vehicular Technology Conference, 2006

Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF.
Proceedings of the 63rd IEEE Vehicular Technology Conference, 2006

Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF.
Proceedings of the 64th IEEE Vehicular Technology Conference, 2006

Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract).
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

2005
Spy Agents: Evaluating Trust in Remote Environments.
Proceedings of The 2005 International Conference on Security and Management, 2005

2003
Flexible Delegation Security for Improved Distribution in Ubiquitous Environments.
Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

2002
Service discovery as an assisted alternative network detection method for reconfigurable terminals.
PhD thesis, 2002

2000
IST-TRUST: a perspective on the reconfiguration of future mobile terminals using software download.
Proceedings of the 11th IEEE International Symposium on Personal, 2000


  Loading...