![]() | ![]() |
1999 | ||
---|---|---|
4 | EE | Ajita John, Keith Vanderveen, Binay Sugla: An XML-based Framework for Dynamic SNMP MIB Extension. DSOM 1999: 107-120 |
3 | Mark Bearden, Ajita John, Keith Vanderveen: Implementing Policy-based Network Management through Automated Plan Generation. IC-AI 1999: 459-464 | |
1997 | ||
2 | EE | Keith Vanderveen, C. V. Ramamoorthy: Partial instantiation theorem proving for distributed resource location. COMPSAC 1997: 192- |
1 | EE | Keith Vanderveen, C. V. Ramamoorthy: Anytime Reasoning in First-Order Logic. ICTAI 1997: 142-148 |
1 | Mark Bearden | [3] |
2 | Ajita John | [3] [4] |
3 | C. V. Ramamoorthy | [1] [2] |
4 | Binay Sugla | [4] |