State Key Laboratory of Computer Science
State Key Laboratory of Information Security
State Key Laboratory of Integrated Information System Technology
National Engineering Research Center of Fundamental Software
National Engineering Research Center of Information Security
Division of National Engineering Research Center of Satellite Navigation Application
Laboratory of Parallel Software and Computational Science
Technology Center of Software Engineering
Intelligence Engineering Laboratory
[1-11]Multiparty session types and Multiparty Session Automata
[1-5]Dynamic Quality-aware Configuration and Optimization of Servic...
[2012-1-5] Degrees of non- determinacy of computable games and line...
CALL FOR PAPERS ----- The 8th IEEE eScience conference 2012
CALL FOR PAPERS ----- ASHES 2012
CALL FOR PAPERS ----- HP-PAC 2012
[12-20]Redundant Synchronization Event Removal for Data Race Detection
CALL FOR PAPERS ----- SEES 2012
[12-15]Fault Localization Inspired by the PIE Model (in Chinese)
[12-13]Data-driven display advertising in USA and China
2012-01-10
2012-01-04
2011-12-29
2011-12-16
2011-12-16
2011-12-16
2011-12-15
2011-12-15
2011-12-13
2011-12-08
2011-12-06
2011-12-02
A Toolkit for Generating Sentences from Context-Free Grammars 2011-10-21
Holographic Reduction: A Domain Changed Application and its Partial... 2011-10-21
Sequential Event Pattern Based Design of Context-Aware Adaptive App... 2011-02-24
Study on Cloud Computing Security 2010-12-28
Formalized Approach for Componentized Software Process Modeling 2010-12-28
SKLOIS and King Saud University Reached A Cooperation Agreement 2009-06-15
The 2nd ISCAS/USC/UMASS Workshop was held successfully 2009-06-10
ISCAS-UQ cooperation strengthened as new Joint Lab launched 2008-10-14