乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:42:03Z","timestamp":1730317323721,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","award":["EW 127\/1-1"],"id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61374185"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,18]]},"DOI":"10.1145\/2601381.2601394","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"151-162","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Towards semantic model composition via experiments"],"prefix":"10.1145","author":[{"given":"Danhua","family":"Peng","sequence":"first","affiliation":[{"name":"University of Rostock, Rostock, Germany"}]},{"given":"Roland","family":"Ewald","sequence":"additional","affiliation":[{"name":"University of Rostock, Rostock, Germany"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[{"name":"University of Rostock, Rostock, Germany"}]}],"member":"320","published-online":{"date-parts":[[2014,5,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_26"},{"volume-title":"Model Checking","year":"1999","author":"Clarke E.","key":"e_1_3_2_1_2_1","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT Press , 1999 . E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999."},{"issue":"1","key":"e_1_3_2_1_3_1","first-page":"5","article-title":"Improving the composability of DoD models and simulations","volume":"1","author":"Davis P. K.","year":"2004","unstructured":"P. K. Davis and R. H. Anderson . Improving the composability of DoD models and simulations . JDMS , 1 ( 1 ): 5 -- 17 , Apr. 2004 . P. K. Davis and R. H. Anderson. Improving the composability of DoD models and simulations. JDMS, 1(1):5--17, Apr. 2004.","journal-title":"JDMS"},{"key":"e_1_3_2_1_4_1","series-title":"NATO Science Series: Mathematics","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software-intensive Systems","author":"De Alfaro L.","year":"2005","unstructured":"L. De Alfaro and T. A. Henzinger . Interface-based design . In Engineering Theories of Software-intensive Systems , volume 195 of NATO Science Series: Mathematics , Physics, and Chemistry, pages 83 -- 104 . Springer , M. Broy, J. Gruenbauer, D. Harel, and C.A.R. Hoare, 2005 . L. De Alfaro and T. A. Henzinger. Interface-based design. In Engineering Theories of Software-intensive Systems, volume 195 of NATO Science Series: Mathematics, Physics, and Chemistry, pages 83--104. Springer, M. Broy, J. Gruenbauer, D. Harel, and C.A.R. Hoare, 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2540128.2540252"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4371(01)00271-0"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl355"},{"volume-title":"Object-oriented and hybrid modeling in modelica. Journal Europ\u00e9en des syst\u00e8mes automatis\u00e9s, 35(1):1--10","year":"2001","author":"Elmqvist H.","key":"e_1_3_2_1_8_1","unstructured":"H. Elmqvist , S. E. Mattsson , and M. Otter . Object-oriented and hybrid modeling in modelica. Journal Europ\u00e9en des syst\u00e8mes automatis\u00e9s, 35(1):1--10 , 2001 . H. Elmqvist, S. E. Mattsson, and M. Otter. Object-oriented and hybrid modeling in modelica. Journal Europ\u00e9en des syst\u00e8mes automatis\u00e9s, 35(1):1--10, 2001."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2567895"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1780158.1780162"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.2307\/1940006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2010.8821"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40708-6_3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2007.34"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1038\/npre.2010.4959.1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-4-92"},{"volume-title":"Elements of Physical Biology","year":"1925","author":"Lotka A.","key":"e_1_3_2_1_19_1","unstructured":"A. Lotka . Elements of Physical Biology . Williams & Wilkins Company , 1925 . A. Lotka. Elements of Physical Biology. Williams & Wilkins Company, 1925."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03845-7_10"},{"volume-title":"Rule-based multi-level modeling of cell biological systems. BMC Systems Biology, 5(166)","year":"2011","author":"Maus C.","key":"e_1_3_2_1_21_1","unstructured":"C. Maus , S. Rybacki , and A. M. Uhrmacher . Rule-based multi-level modeling of cell biological systems. BMC Systems Biology, 5(166) , 2011 . C. Maus, S. Rybacki, and A. M. Uhrmacher. Rule-based multi-level modeling of cell biological systems. BMC Systems Biology, 5(166), 2011."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0042792"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"volume-title":"Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings 0161, 2006","year":"1862","author":"Nicol D.","key":"e_1_3_2_1_24_1","unstructured":"D. Nicol , C. Priami , H. Nielson , and A. Uhrmacher , editors . Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings 0161, 2006 . ISSN 1862 --4405. D. Nicol, C. Priami, H. Nielson, and A. Uhrmacher, editors. Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings 0161, 2006. ISSN 1862--4405."},{"volume-title":"Issues in Enhancing Model Reuse. In First International Conference on Grand Challenges for Modeling and Simulation","year":"2002","author":"Overstreet C. M.","key":"e_1_3_2_1_25_1","unstructured":"C. M. Overstreet , R. Nance , and O. Balci . Issues in Enhancing Model Reuse. In First International Conference on Grand Challenges for Modeling and Simulation , 2002 . C. M. Overstreet, R. Nance, and O. Balci. Issues in Enhancing Model Reuse. In First International Conference on Grand Challenges for Modeling and Simulation, 2002."},{"volume-title":"Proceedings of the 2013 Winter Simulation Conference","year":"2013","author":"Peng D.","key":"e_1_3_2_1_26_1","unstructured":"D. Peng , A. Steiniger , T. Helms , and A. Uhrmacher . Towards Composing ML-Rules Models . In Proceedings of the 2013 Winter Simulation Conference , 2013 . D. Peng, A. Steiniger, T. Helms, and A. Uhrmacher. Towards Composing ML-Rules Models. In Proceedings of the 2013 Winter Simulation Conference, 2013."},{"key":"e_1_3_2_1_27_1","first-page":"181","volume-title":"Spring Simulation Interoperability Workshop (SISO)","author":"Petty M. D.","year":"2003","unstructured":"M. D. Petty and E. W. Weisel . A composability lexicon . In Spring Simulation Interoperability Workshop (SISO) , pages 181 -- 187 , 2003 . M. D. Petty and E. W. Weisel. A composability lexicon. In Spring Simulation Interoperability Workshop (SISO), pages 181--187, 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0118-1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btp581"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624094"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1516744.1516913"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.simutools.2014.254650"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2429759.2429986"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.3390\/a5040588"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_26"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1218112.1218410"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/646736.701772"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2009.14"},{"volume-title":"Component Software: Beyond Object-oriented Programming","year":"2002","author":"Szyperski C.","key":"e_1_3_2_1_39_1","unstructured":"C. Szyperski , D. Gruntz , and S. Murer . Component Software: Beyond Object-oriented Programming . ACM Press Series. ACM Press , 2002 . C. Szyperski, D. Gruntz, and S. Murer. Component Software: Beyond Object-oriented Programming. ACM Press Series. ACM Press, 2002."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2006.39"},{"volume-title":"Variazioni e fluttuazioni del numero d'individui in specie animali conviventi. Mem. R. Accad. Naz. dei Lincei, 2:31--113","year":"1926","author":"Vito V.","key":"e_1_3_2_1_41_1","unstructured":"V. Vito . Variazioni e fluttuazioni del numero d'individui in specie animali conviventi. Mem. R. Accad. Naz. dei Lincei, 2:31--113 , 1926 . V. Vito. Variazioni e fluttuazioni del numero d'individui in specie animali conviventi. Mem. R. Accad. Naz. dei Lincei, 2:31--113, 1926."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1001122"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-5-198"},{"key":"e_1_3_2_1_44_1","first-page":"2003","article-title":"Validity of models and classes of models in semantic composability","author":"Weisel E.","year":"2003","unstructured":"E. Weisel , M. Petty , and R. Mielke . Validity of models and classes of models in semantic composability . Proceedings of the Fall 2003 SIW, 2003 . E. Weisel, M. Petty, and R. Mielke. Validity of models and classes of models in semantic composability. Proceedings of the Fall 2003 SIW, 2003.","journal-title":"Proceedings of the"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.760735"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755987"}],"event":{"name":"SIGSIM-PADS '14: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Denver Colorado USA","acronym":"SIGSIM-PADS '14"},"container-title":["Proceedings of the 2nd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2601381.2601394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:39:38Z","timestamp":1672951178000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2601381.2601394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,18]]},"references-count":47,"alternative-id":["10.1145\/2601381.2601394","10.1145\/2601381"],"URL":"https:\/\/doi.org\/10.1145\/2601381.2601394","relation":{},"subject":[],"published":{"date-parts":[[2014,5,18]]},"assertion":[{"value":"2014-05-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}