Вы здесь

Главная

Wang X.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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 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
СТ Disjunctive Logic Programming as Constrained Inferences 1997 You J. -H., Wang X., Yuan L. -Y. Logic Programming 11.03.1998
СТ 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
СТ 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
СТ GRPC: A Communication Cooperation Mechanism in Distributed Systems 1993 Wang X., Zhao H., Zhu J. Operating Systems Review 30.07.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Web and Big Data, Part II: Proc./4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 2020 2020 Lecture Notes in Computer Science
  1. Wang X.
  2. Zhang R.
  3. Lee Y. -K.
  4. Sun L.
 21144 12.11.2020
СБ Web and Big Data, Part I: Proc./4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 2020 2020 Lecture Notes in Computer Science
  1. Wang X.
  2. Zhang R.
  3. Lee Y. -K.
  4. Sun L.
 21143 12.11.2020
СБ Knowledge Science, Engineering and Management, Part II: Proc./13th International Conference, KSEM 2020, Hangzhou, China, August 2020 2020 Lecture Notes in Artificial Intelligence
  1. Li G.
  2. Shen H. T.
  3. Yuan Y.
  4. Wang X.
 20981 09.09.2020
СБ Knowledge Science, Engineering and Management, Part I: Proc./13th International Conference, KSEM 2020, Hangzhou, China, August 2020 2020 Lecture Notes in Artificial Intelligence
  1. Li G.
  2. Shen H. T.
  3. Yuan Y.
  4. Wang X.
 20980 09.09.2020
СБ Chinese Computattional Linguistics and Natural Language Processing Based on Naturally Annotated Big Data: Proc./16th China National Conference, CCL 2017 and 5th International Symposium, NLP-NABD 2017, Nanjing, China, October 2017 2017 Lecture Notes in Artificial Intelligence
  1. Sun M.
  2. Wang X.
  3. Chang B.
  4. Xiong D.
 08.11.2017
СБ Web and Wireless Geographical Information Systems: Proc./12th International Symposium, W2GIS 2013, Banff,AB,Canada, April 2013 2013 Lecture Notes in Computer Science
  1. Liang S.H. L.
  2. Wang X.
  3. Claramunt Ch.
 11.06.2013
СБ Simulated Evolution and Learning: Proc./6th International Conference, SEAL 2006. Hefei, China, October 2006 2006 Lecture Notes in Computer Science
  1. Wang Tz. -D.
  2. Li X.
  3. Chen Sh. -H.
  4. Wang X.
 20.10.2006