Gary Levin
According to our database1, Gary Levin
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
-
at dl.acm.org
On csauthors.net:
Bibliography
2017
Evaluation of the Surveillance, Epidemiology, and End Results Data Management System (SEER*DMS) to support the efforts in enhancing U.S cancer surveillance.
Proceedings of the AMIA 2017, 2017
2012
TITAN: Integrated network management in tactical mobile ad hoc networks.
Proceedings of the 31st IEEE Military Communications Conference, 2012
2011
Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
2009
Enabling Distributed Management for Dynamic Airborne Networks.
Proceedings of the POLICY 2009, 2009
2008
Declarative Infrastructure Configuration Synthesis and Debugging.
J. Network Syst. Manage., 2008
2007
On Automated Policy Generation for Mobile Ad Hoc Networks.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
2004
Policy-Based Mobile Ad Hoc Network Management.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004
2003
PECAN: Policy-Enabled Configuration Across Networks.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003
1982
On-the-fly Deadlock Prevention.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982
1981
A Proof Technique for Communicating Sequential Processes.
Acta Inf., 1981
1980
Assignment and Procedure Call Proof Rules.
ACM Trans. Program. Lang. Syst., 1980
Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time.
Inf. Process. Lett., 1980