{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T06:10:01Z","timestamp":1708755001262},"reference-count":108,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,3,1]],"date-time":"2008-03-01T00:00:00Z","timestamp":1204329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci. China"],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1007\/s11704-008-0001-3","type":"journal-article","created":{"date-parts":[[2008,3,27]],"date-time":"2008-03-27T10:44:08Z","timestamp":1206614648000},"page":"1-11","source":"Crossref","is-referenced-by-count":1,"title":["Basic research in computer science and software engineering at SKLCS"],"prefix":"10.1007","volume":"2","author":[{"given":"Jian","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenhui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yidong","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiming","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunquan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enhua","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xueyang","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,3,28]]},"reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0890-5401(02)00014-7","volume":"180","author":"H. M. Lin","year":"2003","unstructured":"Lin H M. Complete inference systems for weak bisimulation equivalences in the \u03c0-calculus. Information and Computation, 2003, 180(1): 1\u201329","journal-title":"Information and Computation"},{"issue":"4","key":"1_CR2","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s236-002-8035-2","volume":"38","author":"H. M. Lin","year":"2002","unstructured":"Lin H M, Wang Y. Axiomatising timed automata. Acta Informatica, 2002, 38(4): 277\u2013305","journal-title":"Acta Informatica"},{"issue":"4","key":"1_CR3","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1142\/S021812660500260X","volume":"14","author":"L. Jiao","year":"2005","unstructured":"Jiao L, Huang H J, Cheung T Y. Property-preserving composition by place merging. Journal of Circuits, Systems and Computers, 2005, 14(4): 793\u2013812","journal-title":"Journal of Circuits, Systems and Computers"},{"issue":"1\u20133","key":"1_CR4","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1016\/j.tcs.2004.12.010","volume":"332","author":"H. J. Huang","year":"2005","unstructured":"Huang H J, Jiao L, Cheung T Y. Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theoretical Computer Science, 2005, 332(1\u20133): 461\u2013485","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"1_CR5","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1093\/comjnl\/bxh125","volume":"48","author":"L. Jiao","year":"2005","unstructured":"Jiao L, Cheung T Y, Lu WM. Handling synchronization problem in Petri-net-based system design by property-preserving transition-reduction. The Computer Journal, 2005, 48(6): 692\u2013701","journal-title":"The Computer Journal"},{"issue":"4","key":"1_CR6","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1142\/S0218126606003167","volume":"15","author":"L. Jiao","year":"2006","unstructured":"Jiao L, Cheung T Y. Compositional verification for workflow nets. Journal of Circuits, Systems and Computers, 2006, 15(4): 551\u2013570","journal-title":"Journal of Circuits, Systems and Computers"},{"issue":"6","key":"1_CR7","doi-asserted-by":"crossref","first-page":"762","DOI":"10.1007\/BF02945465","volume":"18","author":"W. H. Zhang","year":"2003","unstructured":"Zhang W H. Combining static analysis and case-based search space partitioning for reducing peak memory in model checking. Journal of Computer Science and Technology, 2003, 18(6): 762\u2013770","journal-title":"Journal of Computer Science and Technology"},{"key":"1_CR8","first-page":"29","volume-title":"Proceedings of MEMOCODE","author":"Y. Lv","year":"2007","unstructured":"Lv Y, Lin H M, Pan H. Computing invariants for parameter abstraction. In: Schneider K, Hoe J, eds. Proceedings of MEMOCODE. Nice: IEEE Press, 2007, 29\u201338"},{"issue":"5","key":"1_CR9","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1142\/S0218194006002999","volume":"16","author":"P. Wu","year":"2006","unstructured":"Wu P, Lin H M. Model-based testing of concurrent programs with predicate sequencing constrains. International Journal of Software Engineering and Knowledge Engineering, 2006, 16(5): 727\u2013746","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"1","key":"1_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s11390-005-0011-7","volume":"20","author":"H. M. Lin","year":"2004","unstructured":"Lin H M. A predicate mu-calculus for mobile ambients. Journal of Computer Science and Technology, 2004, 20(1): 95\u2013104","journal-title":"Journal of Computer Science and Technology"},{"key":"1_CR11","first-page":"36","volume-title":"Proceedings of ICTAC","author":"H. M. Lin","year":"2004","unstructured":"Lin H M. A predicate spatial logic and model checking for mobile processes. In: Liu Z M, Araki K, eds. Proceedings of ICTAC. Berlin: Springer, 2004, 36"},{"key":"1_CR12","first-page":"351","volume-title":"Proceedings of FORTE","author":"N. J. Zhan","year":"2005","unstructured":"Zhan N J, Majster-Cederbaum M. Deriving non-determinism from conjunction and disjunction. In: Wang F, ed. Proceedings of FORTE. Berlin: Springer, 2005, 351\u2013365"},{"key":"1_CR13","first-page":"136","volume-title":"Proceedings of ICTAC","author":"N. J. Zhan","year":"2005","unstructured":"Zhan N J, Wu J. Compositionality of fixpoint logic with chop. In: Hung D V, Wirsing M, eds. Proceedings of ICTAC. Berlin: Springer, 2005, 136\u2013150"},{"key":"1_CR14","first-page":"191","volume-title":"Proceedings of ICFEM","author":"W.H. Zhang","year":"2007","unstructured":"Zhang WH. Model checking with SAT-based characterization of ACTL formulas. In: Proceedings of ICFEM. Berlin: Springer, 2007, 191\u2013211"},{"issue":"5","key":"1_CR15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C. C. Zhou","year":"1991","unstructured":"Zhou C C, Hoare C A R, Ravn A. A calculus of durations. Information Processing Letters, 1991, 40(5): 269\u2013276","journal-title":"Information Processing Letters"},{"issue":"5","key":"1_CR16","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm W, Hungar H, Olderog E-R. Verification of cooperating traffic agents. International Journal of Control, 2006, 79(5): 395\u2013421","journal-title":"International Journal of Control"},{"key":"1_CR17","volume-title":"EATCS Series of Monographs in Theoretical Computer Science","author":"C. C. Zhou","year":"2004","unstructured":"Zhou C C, Hansen MR. Duration calculus: a formal approach to real-time systems. EATCS Series of Monographs in Theoretical Computer Science. Berlin: Springer, 2004"},{"key":"1_CR18","unstructured":"Xu QW, Zhan N J. Formalizing scheduling theories with duration calculus. Nordic Journal of Computing, to appear"},{"issue":"1","key":"1_CR19","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"Liu C L, Layland J W. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of ACM, 1973, 20(1): 46\u201361","journal-title":"Journal of ACM"},{"key":"1_CR20","first-page":"231","volume-title":"Proceedings of ICFEM","author":"G.Y. Li","year":"2002","unstructured":"Li GY, Tang Z S. Modeling real-time systems with continuous-time temporal logic. In: George C, Miao H, eds. Proceedings of ICFEM. Berlin: Springer, 2002, 231\u2013236"},{"key":"1_CR21","unstructured":"Tang Z S. A program development support environment based on temporal logic. In: Proceedings of PLSD. North Hollland, 1983"},{"key":"1_CR22","first-page":"322","volume-title":"Proceedings of APLAS","author":"G.Y. Li","year":"2003","unstructured":"Li GY, Tang Z S. Translating a continuous-time temporal logic into timed automata. In: Ohori A, ed. Proceedings of APLAS. Berlin: Springer, 2003, 322\u2013338"},{"key":"1_CR23","first-page":"272","volume-title":"Proceedings of ICTAC","author":"R. J. Yan","year":"2005","unstructured":"Yan R J, Li G Y, Tang Z S. Symbolic model checking of finite precision timed automata. In: Hung D V, Wirsing M, eds. Proceedings of ICTAC. Berlin: Springer, 2005, 272\u2013287"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Fu Y, Wang H. Distributed utilization control for real-time clusters with load balancing. In: Proceedings of IEEE RTSS. Rio, 2006, 137\u2013146","DOI":"10.1109\/RTSS.2006.20"},{"key":"1_CR25","first-page":"1052","volume-title":"Proceedings of CNMC","author":"H. Zhou","year":"2005","unstructured":"Zhou H, Wang Y J, Wang Q. Measuring internet bottlenecks: location, capacity, and available bandwidth. In: Lu XC, Zhao W, eds. Proceedings of CNMC. Berlin: Springer, 2005, 1052\u20131062"},{"issue":"5","key":"1_CR26","first-page":"842","volume":"33","author":"X. X. Wang","year":"2005","unstructured":"Wang X X, Wang Y J, Zhou J H, et al. Congestion control algorithm based on improved model in large-delay networks. Acta Electronica Sinica, 2005, 33(5): 842\u2013846","journal-title":"Acta Electronica Sinica"},{"key":"1_CR27","unstructured":"Wang X L, Wang Y J, Zhou H, et al. PSO-PID: a novel controller for AQM routers. In: Proceedings of IEEE\/IFIP WOCN. Bangalore, 2006, 1\u20135"},{"key":"1_CR28","first-page":"457","volume-title":"Proceedings of CIS","author":"X. L. Wang","year":"2006","unstructured":"Wang X L, Wang Y J, Zeng H T, et al. Particle swarm optimization with escape velocity. In: Proceedings of CIS. Guangzhou: IEEE Press, 2006, 457\u2013460"},{"issue":"4","key":"1_CR29","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1145\/937555.937556","volume":"4","author":"Y. D. Shen","year":"2003","unstructured":"Shen Y D, You J H, Yuan L Y, et al. A dynamic approach to characterizing termination of general logic programs. ACM Transactions on Computational Logic, 2003, 4(4): 417\u2013430","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"1_CR30","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.tcs.2004.07.028","volume":"328","author":"Y. D. Shen","year":"2004","unstructured":"Shen Y D, You J H, Yuan L Y. Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Theoretical Computer Science, 2004, 328(3): 271\u2013287","journal-title":"Theoretical Computer Science"},{"issue":"1\u20133","key":"1_CR31","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.tcs.2006.01.053","volume":"360","author":"G. Dowek","year":"2006","unstructured":"Dowek G, Jiang Y. Eigenvariables, bracketing and the decidability of positive minimal predicate logic. Theoretical Computer Science, 2006, 360(1\u20133): 193\u2013208","journal-title":"Theoretical Computer Science"},{"key":"1_CR32","first-page":"108","volume-title":"Proceedings of PRICAI","author":"W.H. Zhang","year":"2002","unstructured":"Zhang WH, Huang Z, Zhang J. Parallel execution of stochastic search procedures on reduced SAT instances. In: Proceedings of PRICAI. Berlin: Springer, 2002, 108\u2013117"},{"key":"1_CR33","first-page":"1525","volume-title":"Proceedings of IJCAI","author":"X. X. Jia","year":"2005","unstructured":"Jia X X, Zhang J. Predicate-oriented isomorphism elimination in model finding. In: Proceedings of IJCAI. St Louis: Morgan Kaufmann Publishers, 2005, 1525\u20131526"},{"key":"1_CR34","first-page":"318","volume-title":"Proceedings of IJCAR","author":"X. X. Jia","year":"2006","unstructured":"Jia X X, Zhang J. A powerful technique to eliminate isomorphism in finite model search. In: Proceedings of IJCAR. Berlin: Springer, 2006, 318\u2013331"},{"key":"1_CR35","unstructured":"Dong Y M. MLIRF method for specification acquisition and reuse. In: Proceedings of the 9th National Conference of China Computer Federation. Chongqing, 1996, 21\u201327 (in Chinese)"},{"issue":"1","key":"1_CR36","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1360\/02yf9002","volume":"45","author":"Y.M. Dong","year":"2002","unstructured":"Dong YM. Recursive functions of context free languages (I) \u2014 the definitions of CFPRF and CFRF. Science in China Series F, 2002, 45(1): 25\u201339","journal-title":"Science in China Series F"},{"issue":"2","key":"1_CR37","first-page":"1","volume":"45","author":"Y.M. Dong","year":"2002","unstructured":"Dong YM. Recursive functions of context free languages (II) \u2014 validity of CFPRF and CFRF definitions. Science in China Series F, 2002, 45(2): 1\u201321","journal-title":"Science in China Series F"},{"issue":"1","key":"1_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02946607","volume":"13","author":"Y.M. Dong","year":"1998","unstructured":"Dong YM. An interactive learning algorithm for acquisition of concepts represented as CFL. Journal of Computer Science and Technology, 1998, 13(1): 1\u20138","journal-title":"Journal of Computer Science and Technology"},{"key":"1_CR39","unstructured":"Dong Y M, Li K, Chen H, et al. Design and implementation of the formal specification acquisition system SAQ. In: Proceedings of Conference Software: Theory and Practice, IFIP 16th World Computer Congress 2000. Beijing, 2000, 201\u2013211"},{"issue":"1","key":"1_CR40","first-page":"53","volume":"21","author":"J. C. Sun","year":"2003","unstructured":"Sun J C. Multivariate fourier series over a class of non tensorproduct partition domains. Journal of Computational Mathematics, 2003, 21(1): 53\u201362","journal-title":"Journal of Computational Mathematics"},{"issue":"3","key":"1_CR41","first-page":"351","volume":"26","author":"J. C. Sun","year":"2004","unstructured":"Sun J C, Yao J F. Fast generalized discrete fourier transforms on hexagon domains. Chinese Journal of Numerical Mathematics and Application, 2004, 26(3): 351\u2013366","journal-title":"Chinese Journal of Numerical Mathematics and Application"},{"key":"1_CR42","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s10444-003-7667-8","volume":"22","author":"J. C. Sun","year":"2005","unstructured":"Sun J C, Li H Y. Generalized fourier transform on an arbitrary triangular domain. Advances in Computational Mathematics, 2005, 22: 223\u2013248","journal-title":"Advances in Computational Mathematics"},{"key":"1_CR43","first-page":"304","volume":"4","author":"J. F. Yao","year":"2004","unstructured":"Yao J F, Sun J C. HFFT on parallel dodecahedron domains and its parallel implementation. Numerical computation and computer applications, 2004, 4: 304\u2013313 (in Chinese)","journal-title":"Numerical computation and computer applications"},{"issue":"3","key":"1_CR44","first-page":"305","volume":"24","author":"J. C. Sun","year":"2006","unstructured":"Sun J C. Multivariate fourier transform methods over simplex and super-simplex domains. Journal of Computational Mathematics, 2006, 24(3): 305\u2013322","journal-title":"Journal of Computational Mathematics"},{"key":"1_CR45","volume-title":"Dissertation for the Doctoral Degree","author":"Y. Q. Zhang","year":"2000","unstructured":"Zhang Y Q. Performance optimizations on parallel numerical software package and study on memory complexity. Dissertation for the Doctoral Degree. Beijing: Institute of Software, Chinese Academy of Sciences, 2000"},{"issue":"12","key":"1_CR46","first-page":"1660","volume":"26","author":"Y. Q. Zhang","year":"2003","unstructured":"Zhang Y Q. DRAM(h): a parallel computation model for high performance numerical computing. Chinese Journal of Computers, 2003, 26(12): 1660\u20131670","journal-title":"Chinese Journal of Computers"},{"issue":"2","key":"1_CR47","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/s11704-007-0016-1","volume":"1","author":"Y. Q. Zhang","year":"2007","unstructured":"Zhang Y Q, Chen G L, Sun G Z, et al. Models of parallel computation: a survey and classification. Frontiers of Computer Science in China, 2007, 1(2): 156\u2013165","journal-title":"Frontiers of Computer Science in China"},{"key":"1_CR48","unstructured":"Zhang Y Q, Sun J C, Tang Z M, et al. Memory complexity in high performance computing. In: Proceedings of HPC\u2019ASIA. Singapore, 1998: 142\u2013151"},{"issue":"2\u20133","key":"1_CR49","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BF01185206","volume":"12","author":"B. Alpern","year":"1994","unstructured":"Alpern B, Carter L, Feig E, et al. The Uniform Memory Hierarchy Model of Computation. Algorithmica, 1994, 12(2\u20133): 72\u2013109","journal-title":"Algorithmica"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Culler D, Karpy R, Patterson D, et al. LogP: towards a realistic model of parallel computation. In: Proceedings of PPoPP. San Diego, 1993, 1\u201312","DOI":"10.1145\/155332.155333"},{"key":"1_CR51","unstructured":"Li M S. Expanding the horizons of software development processes: a 3-D integrated methodology. In: Proceedings of SPW. Beijing, 2005, 54\u201367"},{"key":"1_CR52","unstructured":"Li M S. Assessing 3-D integrated software development processes: a new benchmark. In: Proceedings of SPW\/ProSim. Shanghai, 2006, 15\u201338"},{"key":"1_CR53","unstructured":"Wang Q, Li M S. Software process management: practices in China. In: Proceedings of SPW. Beijing, 2005, 317\u2013331"},{"issue":"5","key":"1_CR54","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1002\/spip.339","volume":"12","author":"M. S. Li","year":"2007","unstructured":"Li M S. TRISO-model: a new approach to integrated software process assessment and improvement. Software Process: Improvement and Practice, 2007, 12(5): 387\u2013398","journal-title":"Software Process: Improvement and Practice"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Wang Q, Xiao J, Li M S, et al. A process-agent construction method for software process modeling in SoftPM. In: Proceedings of SPW\/ProSim. Shanghai, 2006, 204\u2013213","DOI":"10.1007\/11754305_23"},{"key":"1_CR56","unstructured":"Li N, Li M S, Wang Q, et al. A negotiation model for the process agent in an agent-based process-centered software engineering environment. In: Proceedings of SEKE. San Francisco, 2006, 664\u2013669"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Zhao X, Chan K, Li M S. Applying agent technology to software process modeling and process-centered software engineering environment. In: Proceedings of SAC. Santa Fe, 2005, 1529\u20131533","DOI":"10.1145\/1066677.1067021"},{"key":"1_CR58","doi-asserted-by":"crossref","unstructured":"Xiao J, Osterweil L J, Zhang L, et al. Applying little-JIL to describe process-agent knowledge in SoftPM. In: Proceedings of SPW\/ProSim. Shanghai, 2006, 214\u2013221","DOI":"10.1007\/11754305_24"},{"key":"1_CR59","first-page":"84","volume-title":"Proceedings of ICSP","author":"L. Zhang","year":"2007","unstructured":"Zhang L, Wang Q, Xiao J, et al. A tool to create process-agents for OEC-SPM from historical project data. In: Proceedings of ICSP. Beilin: Springer, 2007, 84\u201395"},{"issue":"5","key":"1_CR60","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1002\/spip.337","volume":"12","author":"J. Xiao","year":"2007","unstructured":"Xiao J, Osterweil L J, Zhang L, et al. Applying little-JIL to describe process-agent knowledge and support project planning. Software Process: Improvement and Practice, 2007, 12(5): 437\u2013448","journal-title":"Software Process: Improvement and Practice"},{"key":"1_CR61","doi-asserted-by":"crossref","unstructured":"Li MS, Yang Q, Zhai J, et al. On mobility of software processes. In: Proceedings of SPW\/ProSim. Shanghai, 2006, 105\u2013114","DOI":"10.1007\/11754305_12"},{"key":"1_CR62","first-page":"121","volume-title":"Proceedings of ICSP","author":"Q. Yang","year":"2007","unstructured":"Yang Q, Li M S, Wang Q, et al. An algebraic approach for managing inconsistencies in software processes. In: Proceedings of ICSP. Berlin: Springer, 2007, 121\u2013133"},{"key":"1_CR63","unstructured":"Yuan F, Li MS, Wan Z. SPEM2XPDL-towards SPEM model enactment. In: Proceedings of SERP. Las vegas, 2006, 240\u2013245"},{"issue":"8","key":"1_CR64","doi-asserted-by":"crossref","first-page":"1366","DOI":"10.1360\/jos161366","volume":"16","author":"J. Li","year":"2005","unstructured":"Li J, Li M S, Wu Z, et al. A SPEM-based software process metamodel for CMM. Journal of Software, 2005, 16(8): 1366\u20131377","journal-title":"Journal of Software"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Yang D, Wan Y, Tang Z, et al. COCOMO-U: an extension of COCOMO II for cost estimation with uncertainty. In: Proceeding of SPW\/ProSim. Shanghai, 2006, 132\u2013141","DOI":"10.1007\/11754305_15"},{"key":"1_CR66","first-page":"37","volume-title":"Proceedings of ICSP","author":"D. Yang","year":"2007","unstructured":"Yang D, Boehm B, Yang Y, et al. Coping with the cone of uncertainty: an empirical study of the SAIV process model. In: Proceedings of ICSP. Berlin: Springer, 2007, 37\u201348"},{"key":"1_CR67","first-page":"134","volume-title":"Proceedings of ICSP","author":"M. He","year":"2007","unstructured":"He M, Yang Y, Wang Q, et al. Cost estimation and analysis for government contract pricing in China. In: Proceedings of ICSP. Berlin: Springer, 2007, 134\u2013146"},{"key":"1_CR68","doi-asserted-by":"crossref","unstructured":"Wang Q, Jiang N, Gou L, et al. BSR: a statistic-based approach for establishing and refining software process performance baseline. In: Proceedings of ICSE. Shanghai, 2006, 585\u2013594","DOI":"10.1145\/1134285.1134368"},{"key":"1_CR69","doi-asserted-by":"crossref","unstructured":"Wang Q, Li M S. Measuring and improving software process in China. In: Proceedings of ISESE. Noosa Heads, 2005, 183\u2013192","DOI":"10.1109\/ISESE.2005.1541827"},{"issue":"3","key":"1_CR70","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1360\/jos160407","volume":"16","author":"Q. Wang","year":"2005","unstructured":"Wang Q, Li M S, Liu X. An active measurement model for software process control and improvement. Journal of Software, 2005, 16(3): 407\u2013418","journal-title":"Journal of Software"},{"key":"1_CR71","unstructured":"Ruan L, Wang Y, Wang Q, et al. ARIMAmmse: an improved ARIMA-based software productivity prediction method. In: Proceedings of COMPSAC. Chicago, 2006, 17\u201321"},{"key":"1_CR72","doi-asserted-by":"crossref","unstructured":"Ruan L, Wang Y, Wang Q, et al. Empirical study on benchmarking software development tasks. In: the International Conference on Software Process. Minneapolis, 2007, 221\u2013232","DOI":"10.1007\/978-3-540-72426-1_19"},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"Zhang S, Wang Y, Yuan F, et al. Mining software repositories to understand the performance of individual developers. In: Proceedings of COMPSAC 2007. Beijing, 2007, 625\u2013626","DOI":"10.1109\/COMPSAC.2007.148"},{"key":"1_CR74","unstructured":"Zhang S, Wang Y, Tong J, et al. Evaluation of project quality: a DEA-based approach. In: Proceedings of SPW\/ProSim. Shanghai, 2005, 88\u201396"},{"issue":"10","key":"1_CR75","doi-asserted-by":"crossref","first-page":"2380","DOI":"10.1360\/jos182380","volume":"18","author":"J. Wang","year":"2007","unstructured":"Wang J, Li M S. A tridimensional requirements model and its support for stakeholder coordination. Journal of Software, 2007, 18(10): 2380\u20132392","journal-title":"Journal of Software"},{"issue":"6","key":"1_CR76","doi-asserted-by":"crossref","first-page":"1044","DOI":"10.1360\/crad20070618","volume":"44","author":"F. Shu","year":"2007","unstructured":"Shu F, Zhao Y, Wang J, et al. User-driven requirements elicitation method with the support of personalized domain knowledge. Computer Research and Development, 2007, 44(6): 1044\u20131052","journal-title":"Computer Research and Development"},{"issue":"12","key":"1_CR77","doi-asserted-by":"crossref","first-page":"2450","DOI":"10.1360\/jos172450","volume":"17","author":"M. Huang","year":"2006","unstructured":"Huang M, Shu F, Li MS. A risk-driven method for prioritizing requirements in iteration development. Journal of Software, 2006, 17(12): 2450\u20132460","journal-title":"Journal of Software"},{"key":"1_CR78","doi-asserted-by":"crossref","unstructured":"Li M S, Huang M, Shu F, et al. A risk-driven method for extreme programming release planning. In: Proceedings of ICSE 2006. Shanghai, 2006, 423\u2013430","DOI":"10.1145\/1134285.1134344"},{"issue":"6","key":"1_CR79","first-page":"774","volume":"49","author":"T. Huang","year":"2006","unstructured":"Huang T, Ding X N, Wei J. An application-semantics-based relaxed transaction model for internetware. Science in China Series F, 2006, 49(6): 774\u2013791","journal-title":"Science in China Series F"},{"issue":"12","key":"1_CR80","first-page":"1787","volume":"15","author":"T. Huang","year":"2004","unstructured":"Huang T, Chen N J, Wei J, et al. OnceAS\/Q: a QoS-enabled web application server. Journal of Software, 2004, 15(12): 1787\u20131799","journal-title":"Journal of Software"},{"issue":"4","key":"1_CR81","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/97880.97893","volume":"24","author":"H. Chen","year":"1990","unstructured":"Chen H, Wu E H. An efficient radiosity solution for bump texture generation. Computer Graphics, 1990, 24(4): 125\u2013134","journal-title":"Computer Graphics"},{"key":"1_CR82","first-page":"447","volume-title":"Proceedings of EUROGRAPHICS","author":"H. Chen","year":"1991","unstructured":"Chen H, Wu E H. Radiosity for furry surfaces. In: Post F H, Barth W, eds. Proceedings of EUROGRAPHICS. North-Holland: Elsevier Science Publishers, 1991, 447\u2013457"},{"issue":"4","key":"1_CR83","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/vis.4340060405","volume":"6","author":"E. H. Wu","year":"1995","unstructured":"Wu E H. A radiosity solution for illumination of random fractal surfaces. The Journal of Visualization and Computer Animation, 1995, 6(4): 219\u2013229","journal-title":"The Journal of Visualization and Computer Animation"},{"issue":"1","key":"1_CR84","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1002\/vis.301","volume":"14","author":"Y. Y. Chen","year":"2003","unstructured":"Chen Y Y, Sun H Q, Wu E H. Modeling and rendering snowy natural scenery using multi-mapping techniques. The Journal of Visualization and Computer Animation, 2003, 14(1): 21\u201330","journal-title":"The Journal of Visualization and Computer Animation"},{"key":"1_CR85","first-page":"391","volume-title":"Proceedings of ACM SIGGRAPH","author":"Y. Q. Xu","year":"2001","unstructured":"Xu Y Q, Chen Y Y, Lin S, et al. Photo-realistic rendering of knitwear using the lumislice. In: Proceedings of ACM SIGGRAPH. New York: ACM Press, 2001, 391\u2013398"},{"issue":"12","key":"1_CR86","first-page":"1","volume":"13","author":"X. H. Liu","year":"1998","unstructured":"Liu X H, Wu E H. Hierarchical structure with focus criterion for rendering height field. Journal of Computer Science and Technology, 1998, 13(12): 1\u20138","journal-title":"Journal of Computer Science and Technology"},{"issue":"4","key":"1_CR87","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1111\/1467-8659.00375","volume":"18","author":"W. C. Wang","year":"1999","unstructured":"Wang W C, Wu E H. Adaptable splatting for irregular volume rendering. Computer Graphics Forum, 1999, 18(4): 213\u2013222","journal-title":"Computer Graphics Forum"},{"issue":"3","key":"1_CR88","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1002\/(SICI)1099-1778(199907\/09)10:3<123::AID-VIS201>3.0.CO;2-6","volume":"10","author":"W.C. Wang","year":"1999","unstructured":"Wang WC, Wu E H, Max N. A selective rendering method for data visualization. Journal of Visualization and Computer Animation, 1999, 10(3): 123\u2013131","journal-title":"Journal of Visualization and Computer Animation"},{"issue":"3","key":"1_CR89","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0097-8493(97)00005-8","volume":"21","author":"W. C. Wang","year":"1997","unstructured":"Wang W C, Zhou D H, Wu E H. Accelerating techniques in volume rendering of irregular data. Computers and Graphics, 1997, 21(3): 289\u2013295","journal-title":"Computers and Graphics"},{"issue":"3\u20134","key":"1_CR90","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1002\/cav.16","volume":"15","author":"E. H. Wu","year":"2004","unstructured":"Wu E H, Liu Y Q, Liu X H. An improved study of real time fluid simulation on GPU (invited paper). Computer Animation and Virtual World, 2004, 15(3\u20134): 139\u2013146","journal-title":"Computer Animation and Virtual World"},{"key":"1_CR91","first-page":"247","volume-title":"Proceedings of Pacific Graphics","author":"Y. Q. Liu","year":"2004","unstructured":"Liu Y Q, Liu X H, Wu E H. Real-time 3D fluid simulation on GPU with complex obstacles. In: Proceedings of Pacific Graphics. Seoul: IEEE Computer Society, 2004, 247\u2013256"},{"key":"1_CR92","unstructured":"Liu Y Q, Liu X H, Wu E H. Fluid simulations on GPU with complex boundary conditions. In: Proceedings of Poster Workshop on GPGPU, at ACM SIGGRAPG, 2004"},{"issue":"8\u201310","key":"1_CR93","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1007\/s00371-005-0314-2","volume":"21","author":"Y. Q. Liu","year":"2005","unstructured":"Liu Y Q, Zhu H B, Liu X H, et al. Real time simulation of physically based on-surface flow. The Visual Computer, 2005, 21(8\u201310): 727\u2013734","journal-title":"The Visual Computer"},{"issue":"3\u20134","key":"1_CR94","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1002\/cav.143","volume":"17","author":"H. B. Zhu","year":"2006","unstructured":"Zhu H B, Liu X H, Liu Y Q, et al. Simulation of miscible binary mixtures based on lattice boltzmann method. Computer Animation and Virtual Worlds, 2006, 17(3\u20134): 403\u2013411","journal-title":"Computer Animation and Virtual Worlds"},{"key":"1_CR95","first-page":"3","volume-title":"Proceedings of CyberWorlds","author":"E. H. Wu","year":"2006","unstructured":"Wu E H, Zhu H B, Liu X H, et al. Physically based fluid dynamics and interactions. In: Proceedings of CyberWorlds. Lausanne: IEEE Computer Society, 2006, 3\u201313"},{"issue":"2","key":"1_CR96","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1111\/1467-8659.00571","volume":"21","author":"G.Z. Fei","year":"2002","unstructured":"Fei GZ, Cai KY, Guo BN, et al. An adaptive sampling scheme for out-of-core simplification. Computer Graphics Forum, 2002, 21(2): 111\u2013119","journal-title":"Computer Graphics Forum"},{"issue":"3","key":"1_CR97","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/j.cag.2005.03.001","volume":"29","author":"W. C. Wang","year":"2005","unstructured":"Wang W C, Li J, Wu E H. 2D point-in-polygon test by classifying edges into layers. Computers and Graphics, 2005, 29(3): 427\u2013439","journal-title":"Computers and Graphics"},{"key":"1_CR98","unstructured":"Wang WC, Li J, Sun HQ, et al. A layer-based representation of polyhedrons for point containment tests. IEEE Transactions on Visualization and Computer Graphics, 2007, to appear"},{"key":"1_CR99","doi-asserted-by":"crossref","unstructured":"Ao X, Wang XG, Tian F, et al. Cross-modal error correction of continuous handwriting recognition by Speech. In: Proceedings of ACM International Conference on Intelligent User Interfaces. Honolulu, 2007, 243\u2013250","DOI":"10.1145\/1216295.1216339"},{"key":"1_CR100","doi-asserted-by":"crossref","unstructured":"Ao X, Li J F, Wang X G, et al. Structuralizing digital ink for efficient selection. In: Proceedings of ACM International Conference on Intelligent User Interfaces. Sydney, 2006, 148\u2013153","DOI":"10.1145\/1111449.1111484"},{"key":"1_CR101","doi-asserted-by":"crossref","unstructured":"Li J F, Zhang X W, Ao X, et al. Sketch recognition with continuous feedback based on incremental intention extraction. In: Proceedings of ACM International Conference on Intelligent User Interfaces. San Diego, 2005, 145\u2013150","DOI":"10.1145\/1040830.1040866"},{"key":"1_CR102","doi-asserted-by":"crossref","unstructured":"Tian F, Ao X, Wang H A, et al. The tilt cursor: enhancing stimulus-response compatibility by providing 3D orientation cue of pen. In: ACM Conference on Human Factors in Computing Systems. San Jose, 2007, 303\u2013306","DOI":"10.1145\/1240624.1240675"},{"key":"1_CR103","first-page":"517","volume-title":"ACM Conference on Human Factors in Computing Systems","author":"W. X. Wang","year":"2006","unstructured":"Wang W X, Wang H, Dai G Z, et al. Visualization of large hierarchical data by circle packing. In: ACM Conference on Human Factors in Computing Systems. New York: ACM Press, 2006, 517\u2013520"},{"key":"1_CR104","doi-asserted-by":"crossref","unstructured":"Xia M. Maximum edge-disjoint paths problem in planar graphs. In: Cai J Y, Cooper S B, Zhu H, eds. Proceedings of TAMC, 566\u2013572","DOI":"10.1007\/978-3-540-72504-6_51"},{"key":"1_CR105","doi-asserted-by":"crossref","unstructured":"Zhang P. An approximation algorithm to the k-steiner forest problem. In: Cai J Y, Cooper S B, Zhu H, eds. Proceedings of TAMC, 2007, 728\u2013737","DOI":"10.1007\/978-3-540-72504-6_66"},{"key":"1_CR106","first-page":"385","volume-title":"Proceedings of COMPSAC","author":"J. Yan","year":"2006","unstructured":"Yan J, Zhang J. Backtracking algorithms and search heuristics to generate test suites for combinatorial testing. In: Proceedings of COMPSAC. Chicago: IEEE Computer Society, 2006, 385\u2013394"},{"key":"1_CR107","doi-asserted-by":"crossref","unstructured":"Xu Z X, Zhang J. A test data generation tool for unit testing of C programs. In: Proceedings of QSIC, 2006, 107\u2013116","DOI":"10.1109\/QSIC.2006.7"},{"key":"1_CR108","unstructured":"Shen Y D, Zhang Z, Yang Q. Objective-oriented utility-based association mining. In: Proceedings of ICDM, 2002, 426\u2013433"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-008-0001-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-008-0001-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-008-0001-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T05:36:16Z","timestamp":1708752976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-008-0001-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":108,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["1"],"URL":"https:\/\/doi.org\/10.1007\/s11704-008-0001-3","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"value":"1673-7350","type":"print"},{"value":"1673-7466","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3]]}}}