Keith Vanderveen

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Mark Bearden, Ajita John, Keith Vanderveen
Implementing Policy-based Network Management through Automated Plan Generation. IC-AI (1999)
Ajita John, Keith Vanderveen, Binay Sugla
XNAMI-an extensible XML-based paradigm for network and application management instrumentation. ICON (1999)
Ajita John, Keith Vanderveen, Binay Sugla
An XML-based Framework for Dynamic SNMP MIB Extension. DSOM (1999)
Keith Vanderveen, C. V. Ramamoorthy
Anytime Reasoning in First-Order Logic. ICTAI (1997)
Keith Vanderveen, C. V. Ramamoorthy
Partial instantiation theorem proving for distributed resource location. COMPSAC (1997)