СТ |
GRPC: A Communication Cooperation Mechanism in Distributed Systems |
1993 |
Wang X., Zhao H., Zhu J. |
|
|
|
Operating Systems Review |
30.07.1993 |
СТ |
Compiler Techniques for Concurrent Multithreading with Hardware Speculation Support |
1997 |
Li Z., Tsai J. -Y., Wang X., Yew P. -C., Zheng B. |
|
|
|
Lecture Notes in Computer Science |
21.08.1997 |
СТ |
On Confluence Property of Active Databases with Meta-Rules |
1997 |
Wang X., You J. -H., Yuan L. Y. |
|
|
|
Lecture Notes in Computer Science |
17.09.1997 |
СТ |
Disjunctive Logic Programming as Constrained Inferences |
1997 |
You J. -H., Wang X., Yuan L. -Y. |
|
|
|
Logic Programming |
11.03.1998 |
СТ |
A Meta-Structure for Supporting Multimedia Editing in Object-Oriented Databases |
1998 |
Speegle G., Wang X., Gruenwald L. |
|
|
|
Lecture Notes in Computer Science |
17.07.1998 |
СТ |
Extended Modeling Languages for Interaction Protocol Design |
2002 |
Koning J. -L., Huget M. -P., Wei J., Wang X. |
|
|
|
Lecture Notes in Computer Science |
06.04.2002 |
СТ |
A Formal Specification and Method for MAS as a Distributed System |
2003 |
Qi Y., Wang X., Yan W., Mao X., Qi Z. |
|
|
|
Lecture Notes in Computer Science |
27.11.2003 |
СТ |
Towards Load Balancing in Peer-to-Peer Environment of Web Services |
2004 |
Yuan Y., Guo Z., Wang X., Zhou A. |
|
|
|
Lecture Notes in Computer Science |
20.05.2004 |
СТ |
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption |
2004 |
Wang X., Roscoe A. W., Lazic R. S. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
СТ |
Capacity Planning for Composite Wev Services Using Queuing Network-Based Models |
2004 |
Peng D., Yuan Y., Yue K., Wang X., Zhou A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
15.09.2004 |
СТ |
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems |
2004 |
Wang X., Wang J., Qi Zh. -Ch. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
СТ |
Model Checking of Systems Employing Communicative Functions |
2005 |
Prasad Sistla A., Zhou M., Wang X. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.03.2005 |
СТ |
Flexible Cycle Synchronized Algorithm in Parallel and Distributed Simulation |
2005 |
Wang X., Zhang L., Huang K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.04.2005 |