Searching for authors named "Hai Wang" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Approximate MVA Algorithms for Solving Queueing Network Models
- …Approximate MVA Algorithms for Solving Queueing Network Models by Hai Wang A thesis submitted…
- Cited by 2 (1 self) – Add To MetaCart
-
Experiments with improved approximate mean value analysis algorithms. Performance Evaluation
- …Experiments with Improved Approximate Mean Value Analysis Algorithms ⋆ Hai Wang and Kenneth C…
- Cited by 2 (0 self) – Add To MetaCart
-
On the Validity and Applicability
- …Abstract Real-time data attack isolation for commercial database applications * Peng Liu*, Hai…
- Cited by 1 (0 self) – Add To MetaCart
-
Annals of Software Engineering 13, 329--356, 2002
- … in The Netherlands. A Formal Object Approach to the Design of ZML JING SUN, JIN SONG DONG, JING LIU and HAI WANG…
- Add To MetaCart
-
Debugging OWL-DL Ontologies: A Heuristic Approach
- …Debugging OWL-DL Ontologies: A Heuristic Approach Hai Wang Matthew Horridge Alan Rector Nick…
- Cited by 14 (4 self) – Add To MetaCart
-
A user oriented owl development environment designed to implement common patterns and minimise common errors
- … Common Errors Matthew Horridge 1 , Alan Rector 1 , Nick Drummond 1 , Holger Knublauch 2 , Hai Wang 1 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic Verification of Asynchronous Retransmission
- … Workbench Hai Wang and Hwei Sheng Teoh Department of Computer Science University of Toronto Toronto…
- Add To MetaCart
-
Verify Feature Models Using Protégé-OWL
- …ABSTRACT Verify Feature Models using Protégé-OWL Hai Wang The University of Manchester, UK hwang…
- Add To MetaCart
-
Object-Z Web Environment and Projections to UML
- …, Hong Kong. ACM 1-58113-348-0/01/0005. Jing Sun, Jin Song Dong, Jing Liu, Hai Wang Department…
- Cited by 11 (4 self) – Add To MetaCart
-
A XML/XSL Approach to Visualize and Animate TCOZ
- …A XML/XSL Approach to Visualize and Animate TCOZ Jing Sun, Jin Song Dong, Jing Liu and Hai Wang…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
