Searching for authors named Dong Wang – sorted by Relevance.
126 documents found, showing 1 through 10.
Next 10 →
-
Refinement Type Inference using Abstract Interpretation
- …15-851 Project Report: Refinement Type Inference using Abstract Interpretation Dong Wang May 8…
- Add To MetaCart
-
DIMENSION VARIATION PREDICTION AND CONTROL FOR COMPOSITES By
- … FOR COMPOSITES By CHENSONG DONG A Dissertation submitted to the Department of Industrial Engineering in partial…
- Add To MetaCart
-
Interconnect-Driven Nanoelectronic Circuits
- …Efficient logic architectures for CMOL nanoelectronic circuits C. Dong, W. Wang and S…
- Cited by 1 (0 self) – 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
-
A formal approach to semantic web services design
- … Song DONG, Yuanfang LI and Hai WANG February 2004 Foreword T e c h n i c a l R e p o r t This technical…
- Cited by 1 (1 self) – Add To MetaCart
-
Checking and Reasoning about Semantic Web through Alloy
- …Checking and Reasoning about Semantic Web through Alloy Jin Song Dong, Jing Sun, and Hai Wang…
- Cited by 11 (8 self) – Add To MetaCart
-
Z Approach to Semantic Web
- …Z Approach to Semantic Web Jin Song Dong, Jing Sun, and Hai Wang School of Computing, National…
- Cited by 5 (1 self) – Add To MetaCart
-
Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability
- …Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability £ Dong Wang Edmund Clarke…
- Add To MetaCart
-
Index Terms
- … of redundancy and the richness in graph-theory. Index Terms Dong Xuan, Sriram Chellappan and Xun Wang…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
