乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:24:14Z","timestamp":1730323454959,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,2,9]]},"DOI":"10.1145\/3442391.3442405","type":"proceedings-article","created":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T10:53:50Z","timestamp":1612868030000},"page":"1-9","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Anomaly detection in Context-aware Feature Models"],"prefix":"10.1145","author":[{"given":"Jacopo","family":"Mauro","sequence":"first","affiliation":[{"name":"University of Southern Denmark, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2021,2,9]]},"reference":[{"volume-title":"A Multicore Tool for Constraint Solving","author":"Amadini Roberto","key":"e_1_3_2_1_1_1","unstructured":"Roberto Amadini , Maurizio Gabbrielli , and Jacopo Mauro . 2015. A Multicore Tool for Constraint Solving . In IJCAI. AAAI Press , 232\u2013238. Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. 2015. A Multicore Tool for Constraint Solving. In IJCAI. AAAI Press, 232\u2013238."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695741"},{"volume-title":"LOPSTR(LNCS), Vol.\u00a09527","author":"Amadini Roberto","key":"e_1_3_2_1_3_1","unstructured":"Roberto Amadini , Maurizio Gabbrielli , and Jacopo Mauro . 2015. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges . In LOPSTR(LNCS), Vol.\u00a09527 . Springer , 349\u2013364. Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. 2015. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. In LOPSTR(LNCS), Vol.\u00a09527. Springer, 349\u2013364."},{"volume-title":"SPLC(LNCS), Vol.\u00a03714","author":"Batory S.","key":"e_1_3_2_1_4_1","unstructured":"Don\u00a0 S. Batory . 2005. Feature Models, Grammars, and Propositional Formulas . In SPLC(LNCS), Vol.\u00a03714 . Springer , 7\u201320. Don\u00a0S. Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In SPLC(LNCS), Vol.\u00a03714. Springer, 7\u201320."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","volume-title":"The Complexity of Theorem-Proving Procedures. In ACM Symposium on Theory of Computing. ACM, 151\u2013158","author":"Cook A.","year":"1971","unstructured":"Stephen\u00a0 A. Cook . 1971 . The Complexity of Theorem-Proving Procedures. In ACM Symposium on Theory of Computing. ACM, 151\u2013158 . Stephen\u00a0A. Cook. 1971. The Complexity of Theorem-Proving Procedures. In ACM Symposium on Theory of Computing. ACM, 151\u2013158."},{"volume-title":"Feature Diagrams and Logics: There and Back Again","author":"Czarnecki Krzysztof","key":"e_1_3_2_1_7_1","unstructured":"Krzysztof Czarnecki and Andrzej Wasowski . 2007. Feature Diagrams and Logics: There and Back Again . In SPLC. IEEE Computer Society , 23\u201334. Krzysztof Czarnecki and Andrzej Wasowski. 2007. Feature Diagrams and Logics: There and Back Again. In SPLC. IEEE Computer Society, 23\u201334."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"volume-title":"TACAS(LNCS), Vol.\u00a04963","author":"de Moura Leonardo\u00a0Mendon\u00e7a","key":"e_1_3_2_1_9_1","unstructured":"Leonardo\u00a0Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In TACAS(LNCS), Vol.\u00a04963 . Springer , 337\u2013340. Leonardo\u00a0Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In TACAS(LNCS), Vol.\u00a04963. Springer, 337\u2013340."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.03.008"},{"volume-title":"SPLC (Workshops)","author":"Fernandes Paula","key":"e_1_3_2_1_11_1","unstructured":"Paula Fernandes and Cl\u00e1udia Maria\u00a0Lima Werner . 2008. UbiFEX: Modeling Context-Aware Software Product Lines . In SPLC (Workshops) . Lero Int. Science Centre , University of Limerick, Ireland, 3\u20138. Paula Fernandes and Cl\u00e1udia Maria\u00a0Lima Werner. 2008. UbiFEX: Modeling Context-Aware Software Product Lines. In SPLC (Workshops). Lero Int. Science Centre, University of Limerick, Ireland, 3\u20138."},{"volume-title":"CPAIOR(LNCS), Vol.\u00a04510","author":"Fourdrinoy Olivier","key":"e_1_3_2_1_12_1","unstructured":"Olivier Fourdrinoy , \u00c9ric Gr\u00e9goire , Bertrand Mazure , and Lakhdar Sais . 2007. Eliminating Redundant Clauses in SAT Instances . In CPAIOR(LNCS), Vol.\u00a04510 . Springer , 71\u201383. Olivier Fourdrinoy, \u00c9ric Gr\u00e9goire, Bertrand Mazure, and Lakhdar Sais. 2007. Eliminating Redundant Clauses in SAT Instances. In CPAIOR(LNCS), Vol.\u00a04510. Springer, 71\u201383."},{"volume-title":"Phase Transitions for Scale-Free SAT Formulas","author":"Friedrich Tobias","key":"e_1_3_2_1_13_1","unstructured":"Tobias Friedrich , Anton Krohmer , Ralf Rothenberger , and Andrew\u00a0 M. Sutton . 2017. Phase Transitions for Scale-Free SAT Formulas . In AAAI. AAAI Press , 3893\u20133899. Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, and Andrew\u00a0M. Sutton. 2017. Phase Transitions for Scale-Free SAT Formulas. In AAAI. AAAI Press, 3893\u20133899."},{"key":"e_1_3_2_1_14_1","unstructured":"Enrico Giunchiglia Massimo Narizzano Luca Pulina and Armando Tacchella. 2005. Quantified Boolean Formulas satisfiability library (QBFLIB). www.qbflib.org. Enrico Giunchiglia Massimo Narizzano Luca Pulina and Armando Tacchella. 2005. Quantified Boolean Formulas satisfiability library (QBFLIB). www.qbflib.org."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00081-3"},{"volume-title":"Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains","author":"Hartmann Herman","key":"e_1_3_2_1_16_1","unstructured":"Herman Hartmann and Tim Trew . 2008. Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains . In SPLC. IEEE Computer Society , 12\u201321. Herman Hartmann and Tim Trew. 2008. Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains. In SPLC. IEEE Computer Society, 12\u201321."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2018.08.004"},{"volume-title":"LION(LNCS), Vol.\u00a06683","author":"Hutter Frank","key":"e_1_3_2_1_18_1","unstructured":"Frank Hutter , Holger\u00a0 H. Hoos , and Kevin Leyton-Brown . 2011. Sequential Model-Based Optimization for General Algorithm Configuration . In LION(LNCS), Vol.\u00a06683 . Springer , 507\u2013523. Frank Hutter, Holger\u00a0H. Hoos, and Kevin Leyton-Brown. 2011. Sequential Model-Based Optimization for General Algorithm Configuration. In LION(LNCS), Vol.\u00a06683. Springer, 507\u2013523."},{"volume-title":"ECAI(Frontiers in Artificial Intelligence and Applications), Vol.\u00a0215","author":"Kadioglu Serdar","key":"e_1_3_2_1_19_1","unstructured":"Serdar Kadioglu , Yuri Malitsky , Meinolf Sellmann , and Kevin Tierney . 2010. ISAC - Instance-Specific Algorithm Configuration . In ECAI(Frontiers in Artificial Intelligence and Applications), Vol.\u00a0215 . IOS Press , 751\u2013756. Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, and Kevin Tierney. 2010. ISAC - Instance-Specific Algorithm Configuration. In ECAI(Frontiers in Artificial Intelligence and Applications), Vol.\u00a0215. IOS Press, 751\u2013756."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Alexander Kn\u00fcppel Thomas Th\u00fcm Stephan Mennicke Jens Meinicke and Ina Schaefer. 2017. Is there a mismatch between real-world feature models and product-line research?. In ESEC\/FSE. ACM 291\u2013302. Alexander Kn\u00fcppel Thomas Th\u00fcm Stephan Mennicke Jens Meinicke and Ina Schaefer. 2017. Is there a mismatch between real-world feature models and product-line research?. In ESEC\/FSE. ACM 291\u2013302.","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Matthias Kowal Sofia Ananieva and Thomas Th\u00fcm. 2016. Explaining anomalies in feature models. In GPCE. ACM 132\u2013143. Matthias Kowal Sofia Ananieva and Thomas Th\u00fcm. 2016. Explaining anomalies in feature models. In GPCE. ACM 132\u2013143.","DOI":"10.1145\/3093335.2993248"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI\u20192002","author":"Liberatore Paolo","year":"2002","unstructured":"Paolo Liberatore . 2002 . The Complexity of Checking Redundancy of CNF Propositional Formulae . In Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI\u20192002 , Lyon, France , July 2002. IOS Press, 262\u2013266. Paolo Liberatore. 2002. The Complexity of Checking Redundancy of CNF Propositional Formulae. In Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI\u20192002, Lyon, France, July 2002. IOS Press, 262\u2013266."},{"key":"e_1_3_2_1_24_1","unstructured":"Yuri Malitsky Ashish Sabharwal Horst Samulowitz and Meinolf Sellmann. 2013. Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering. In IJCAI. IJCAI\/AAAI 608\u2013614. Yuri Malitsky Ashish Sabharwal Horst Samulowitz and Meinolf Sellmann. 2013. Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering. In IJCAI. IJCAI\/AAAI 608\u2013614."},{"volume-title":"SPLC(LNCS), Vol.\u00a02379","author":"Mannion Mike","key":"e_1_3_2_1_25_1","unstructured":"Mike Mannion . 2002. Using First-Order Logic for Product Line Model Validation . In SPLC(LNCS), Vol.\u00a02379 . Springer , 176\u2013187. Mike Mannion. 2002. Using First-Order Logic for Product Line Model Validation. In SPLC(LNCS), Vol.\u00a02379. Springer, 176\u2013187."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9127-8"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Jacopo Mauro Michael Nieke Christoph Seidl and Ingrid\u00a0Chieh Yu. 2016. Context Aware Reconfiguration in Software Product Lines. In VaMoS. ACM 41\u201348. Jacopo Mauro Michael Nieke Christoph Seidl and Ingrid\u00a0Chieh Yu. 2016. Context Aware Reconfiguration in Software Product Lines. In VaMoS. ACM 41\u201348.","DOI":"10.1145\/2866614.2866620"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Jacopo Mauro Michael Nieke Christoph Seidl and Ingrid\u00a0Chieh Yu. 2017. Anomaly Detection and Explanation in Context-Aware Software Product Lines. In SPLC. ACM 18\u201321. Jacopo Mauro Michael Nieke Christoph Seidl and Ingrid\u00a0Chieh Yu. 2017. Anomaly Detection and Explanation in Context-Aware Software Product Lines. In SPLC. ACM 18\u201321.","DOI":"10.1145\/3109729.3109752"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.05.002"},{"volume-title":"Mastering Software Variability with","author":"Meinicke Jens","key":"e_1_3_2_1_30_1","unstructured":"Jens Meinicke , Thomas Th\u0158m , Reimar Schr , Fabian Benduhn , Thomas Leich , Gunter Saake , 2017. Quality Assurance for Feature Models and Configurations . In Mastering Software Variability with FeatureIDE. Springer , 81\u201394. Jens Meinicke, Thomas Th\u0158m, Reimar Schr, Fabian Benduhn, Thomas Leich, Gunter Saake, 2017. Quality Assurance for Feature Models and Configurations. In Mastering Software Variability with FeatureIDE. Springer, 81\u201394."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.4121225"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.2298\/CSIS141031035N"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Michael Nieke Jacopo Mauro Christoph Seidl Thomas Th\u00fcm Ingrid\u00a0Chieh Yu and Felix Franzke. 2018. Anomaly analyses for feature-model evolution. In GPCE. ACM 188\u2013201. Michael Nieke Jacopo Mauro Christoph Seidl Thomas Th\u00fcm Ingrid\u00a0Chieh Yu and Felix Franzke. 2018. Anomaly analyses for feature-model evolution. In GPCE. ACM 188\u2013201.","DOI":"10.1145\/3393934.3278123"},{"volume-title":"Computational complexity","author":"Papadimitriou H.","key":"e_1_3_2_1_34_1","unstructured":"Christos\u00a0 H. Papadimitriou . 1994. Computational complexity . Addison-Wesley . Christos\u00a0H. Papadimitriou. 1994. Computational complexity. Addison-Wesley."},{"key":"e_1_3_2_1_35_1","volume-title":"van\u00a0der Linden","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank J . van\u00a0der Linden . 2005 . Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York , Inc. Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J. van\u00a0der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Karsten Saller Malte Lochau and Ingo Reimund. 2013. Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems. In SPLC. ACM 106\u2013113. Karsten Saller Malte Lochau and Ingo Reimund. 2013. Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems. In SPLC. ACM 106\u2013113.","DOI":"10.1145\/2499777.2500716"},{"key":"e_1_3_2_1_37_1","first-page":"1","article-title":"SMT-based variability analyses in FeatureIDE","volume":"6","author":"Sprey Joshua","year":"2020","unstructured":"Joshua Sprey , Chico Sundermann , Sebastian Krieter , Michael Nieke , Jacopo Mauro , Thomas Th\u00fcm , and Ina Schaefer . 2020 . SMT-based variability analyses in FeatureIDE . In VaMoS. ACM , 6 : 1 \u2013 6 :9. Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Th\u00fcm, and Ina Schaefer. 2020. SMT-based variability analyses in FeatureIDE. In VaMoS. ACM, 6:1\u20136:9.","journal-title":"VaMoS. ACM"},{"volume-title":"Formal Semantics and Verification for Feature Modeling","author":"Sun Jing","key":"e_1_3_2_1_38_1","unstructured":"Jing Sun , Hongyu Zhang , Yuan-Fang Li , and Hai\u00a0 H. Wang . 2005. Formal Semantics and Verification for Feature Modeling . In ICECCS. IEEE Computer Society , 303\u2013312. Jing Sun, Hongyu Zhang, Yuan-Fang Li, and Hai\u00a0H. Wang. 2005. Formal Semantics and Verification for Feature Modeling. In ICECCS. IEEE Computer Society, 303\u2013312."},{"key":"e_1_3_2_1_39_1","first-page":"1","article-title":"Static analysis of featured transition systems","volume":"9","author":"Beek H.","year":"2019","unstructured":"Maurice\u00a0 H. ter Beek , Ferruccio Damiani , Michael Lienhardt , Franco Mazzanti , and Luca Paolini . 2019 . Static analysis of featured transition systems . In SPLC. ACM , 9 : 1 \u2013 9 :13. Maurice\u00a0H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, and Luca Paolini. 2019. Static analysis of featured transition systems. In SPLC. ACM, 9:1\u20139:13.","journal-title":"SPLC. ACM"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Markus Weckesser Roland Kluge Martin Pfannem\u00fcller Michael Matth\u00e9 Andy Sch\u00fcrr and Christian Becker. 2018. Optimal reconfiguration of dynamic software product lines based on performance-influence models. In SPLC. ACM 98\u2013109. Markus Weckesser Roland Kluge Martin Pfannem\u00fcller Michael Matth\u00e9 Andy Sch\u00fcrr and Christian Becker. 2018. Optimal reconfiguration of dynamic software product lines based on performance-influence models. In SPLC. ACM 98\u2013109.","DOI":"10.1145\/3233027.3233030"},{"volume-title":"Efficiently solving quantified bit-vector formulas","author":"Wintersteiger M.","key":"e_1_3_2_1_42_1","unstructured":"Christoph\u00a0 M. Wintersteiger , Youssef Hamadi , and Leonardo\u00a0Mendon\u00e7a de Moura . 2010. Efficiently solving quantified bit-vector formulas . In FMCAD. IEEE Computer Society , 239\u2013246. Christoph\u00a0M. Wintersteiger, Youssef Hamadi, and Leonardo\u00a0Mendon\u00e7a de Moura. 2010. Efficiently solving quantified bit-vector formulas. In FMCAD. IEEE Computer Society, 239\u2013246."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622673.1622687"},{"key":"e_1_3_2_1_44_1","first-page":"1","article-title":"Variational satisfiability solving","volume":"18","author":"Young M.","year":"2020","unstructured":"Jeffrey\u00a0 M. Young , Eric Walkingshaw , and Thomas Th\u00fcm . 2020 . Variational satisfiability solving . In SPLC. ACM , 18 : 1 \u2013 18 :12. Jeffrey\u00a0M. Young, Eric Walkingshaw, and Thomas Th\u00fcm. 2020. Variational satisfiability solving. In SPLC. ACM, 18:1\u201318:12.","journal-title":"SPLC. ACM"}],"event":{"name":"VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS'21","location":"Krems Austria"},"container-title":["Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3442391.3442405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T13:08:27Z","timestamp":1674047307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3442391.3442405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,9]]},"references-count":43,"alternative-id":["10.1145\/3442391.3442405","10.1145\/3442391"],"URL":"https:\/\/doi.org\/10.1145\/3442391.3442405","relation":{},"subject":[],"published":{"date-parts":[[2021,2,9]]},"assertion":[{"value":"2021-02-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}