Keith Vanderveen

According to our database, Keith Vanderveen authored at least 5 papers between 1997 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

XNAMI-an extensible XML-based paradigm for network and application management instrumentation.

Ajita John, Keith Vanderveen, Binay Sugla

Proceedings of the IEEE International Conference on Networks 1999, 1999

Implementing Policy-based Network Management through Automated Plan Generation.

Mark Bearden, Ajita John, Keith Vanderveen

Proceedings of the International Conference on Artificial Intelligence, 1999

An XML-based Framework for Dynamic SNMP MIB Extension.

Ajita John, Keith Vanderveen, Binay Sugla

Proceedings of the Active Technologies for Network and Service Management, 1999

1997

Anytime Reasoning in First-Order Logic.

Keith Vanderveen, C. V. Ramamoorthy

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Partial instantiation theorem proving for distributed resource location.

Keith Vanderveen, C. V. Ramamoorthy

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997