Статті в журналах з теми "Model at runtime"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Model at runtime".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Dokulil, Jiri. "Consistency model for runtime objects in the Open Community Runtime." Journal of Supercomputing 75, no. 5 (November 14, 2018): 2725–60. http://dx.doi.org/10.1007/s11227-018-2681-2.
Maoz, Shahar. "Using Model-Based Traces as Runtime Models." Computer 42, no. 10 (October 2009): 28–36. http://dx.doi.org/10.1109/mc.2009.336.
Al-Sayeh, Hani, Stefan Hagedorn, and Kai-Uwe Sattler. "A gray-box modeling methodology for runtime prediction of Apache Spark jobs." Distributed and Parallel Databases 38, no. 4 (March 10, 2020): 819–39. http://dx.doi.org/10.1007/s10619-020-07286-y.
Zhao, Yuhong, and Franz Rammig. "Model-based Runtime Verification Framework." Electronic Notes in Theoretical Computer Science 253, no. 1 (October 2009): 179–93. http://dx.doi.org/10.1016/j.entcs.2009.09.035.
Bouhamed, Mohammed Mounir, Gregorio Díaz, Allaoua Chaoui, Oussama Kamel, and Radouane Nouara. "Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods." Applied Sciences 11, no. 20 (October 19, 2021): 9743. http://dx.doi.org/10.3390/app11209743.
Ricks, Trenton M., Thomas E. Lacy, Brett A. Bednarcyk, Annika Robens-Radermacher, Evan J. Pineda, and Steven M. Arnold. "Solution of the Nonlinear High-Fidelity Generalized Method of Cells Micromechanics Relations via Order-Reduction Techniques." Mathematical Problems in Engineering 2018 (2018): 1–11. http://dx.doi.org/10.1155/2018/3081078.
Ji-Wei, Liu, and Mao Xin-Jun. "Towards Dynamic Evolution of Runtime Variability Based on Computational Reflection." International Journal of Software Engineering and Knowledge Engineering 28, no. 03 (March 2018): 259–85. http://dx.doi.org/10.1142/s0218194018500092.
Li, Qiuying, Minyan Lu, Tingyang Gu, and Yumei Wu. "Runtime Software Architecture-Based Reliability Prediction for Self-Adaptive Systems." Symmetry 14, no. 3 (March 16, 2022): 589. http://dx.doi.org/10.3390/sym14030589.
Yu, Haichao, Haoxiang Li, Humphrey Shi, Thomas S. Huang, and Gang Hua. "Any-Precision Deep Neural Networks." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 12 (May 18, 2021): 10763–71. http://dx.doi.org/10.1609/aaai.v35i12.17286.
Búr, Márton, Gábor Szilágyi, András Vörös, and Dániel Varró. "Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems." International Journal on Software Tools for Technology Transfer 22, no. 1 (September 26, 2019): 79–102. http://dx.doi.org/10.1007/s10009-019-00531-5.
Incki, Koray, and Ismail Ari. "Model-Based Runtime Monitoring of Smart City Systems." Procedia Computer Science 134 (2018): 75–82. http://dx.doi.org/10.1016/j.procs.2018.07.146.
Chen, Xing, Aipeng Li, Xue’e Zeng, Wenzhong Guo, and Gang Huang. "Runtime model based approach to IoT application development." Frontiers of Computer Science 9, no. 4 (June 6, 2015): 540–53. http://dx.doi.org/10.1007/s11704-015-4362-0.
Haustein, Stefan, and Joerg Pleumann. "A model-driven runtime environment for Web applications." Software & Systems Modeling 4, no. 4 (June 15, 2005): 443–58. http://dx.doi.org/10.1007/s10270-005-0093-2.
Ma, Nan, Yingxing Lin, and Xiang Zhou. "WiFi Sensor Network Management Based On Runtime Model." International Journal of Future Generation Communication and Networking 9, no. 2 (February 28, 2016): 269–80. http://dx.doi.org/10.14257/ijfgcn.2016.9.2.27.
Elmas, Tayfun, and Serdar Tasiran. "VyrdMC: Driving Runtime Refinement Checking with Model Checkers." Electronic Notes in Theoretical Computer Science 144, no. 4 (May 2006): 41–56. http://dx.doi.org/10.1016/j.entcs.2006.02.003.
Guimarães, Felipe Pontes, Genaína Nunes Rodrigues, Raian Ali, and Daniel Macêdo Batista. "Planning runtime software adaptation through pragmatic goal model." Data & Knowledge Engineering 109 (May 2017): 25–40. http://dx.doi.org/10.1016/j.datak.2017.03.003.
Rudy, Jarosław. "Dynamic Random-Access Stored-Program Machine for Runtime Code Modification." International Journal of Foundations of Computer Science 26, no. 04 (June 2015): 441–63. http://dx.doi.org/10.1142/s0129054115500240.
Jabla, Roua, Maha Khemaja, Félix Buendia, and Sami Faiz. "Automatic Ontology-Based Model Evolution for Learning Changes in Dynamic Environments." Applied Sciences 11, no. 22 (November 15, 2021): 10770. http://dx.doi.org/10.3390/app112210770.
Schmitz, Oliver, Elga Salvadore, Lien Poelmans, Johannes van der Kwast, and Derek Karssenberg. "A framework to resolve spatio-temporal misalignment in component-based modelling." Journal of Hydroinformatics 16, no. 4 (December 6, 2013): 850–71. http://dx.doi.org/10.2166/hydro.2013.180.
Zhou, Ge, Chunzheng Yang, Peng Lu, and Xi Chen. "Runtime verification in uncertain environment based on probabilistic model learning." Mathematical Biosciences and Engineering 19, no. 12 (2022): 13607–27. http://dx.doi.org/10.3934/mbe.2022635.
Zhang, Jie, Cong Tian, Zhenhua Duan, and Liang Zhao. "RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model." IEEE Transactions on Reliability 70, no. 3 (September 2021): 1295–308. http://dx.doi.org/10.1109/tr.2021.3078628.
LIU, Tao, Bin FAN, Cheng-Yong WU, and Zhao-Qing ZHANG. "Dataflow-Style Java Parallel Programming Model and Runtime Optimization." Journal of Software 19, no. 9 (September 20, 2008): 2181–90. http://dx.doi.org/10.3724/sp.j.1001.2008.02181.
Sarikaya, Ruhi, Canturk Isci, and Alper Buyuktosunoglu. "Runtime Application Behavior Prediction Using a Statistical Metric Model." IEEE Transactions on Computers 62, no. 3 (March 2013): 575–88. http://dx.doi.org/10.1109/tc.2012.25.
Li, X., X. Qiu, L. Wang, X. Chen, Z. Zhou, L. Yu, and J. Zhao. "UML interaction model-driven runtime verification of Java programs." IET Software 5, no. 2 (2011): 142. http://dx.doi.org/10.1049/iet-sen.2009.0009.
Pezzé, Mauro, and Jochen Wuttke. "Model-driven generation of runtime checks for system properties." International Journal on Software Tools for Technology Transfer 18, no. 1 (June 24, 2014): 1–19. http://dx.doi.org/10.1007/s10009-014-0325-2.
Yu, X., and T. Zhang. "Convergence and Runtime of an Ant Colony Optimization Model." Information Technology Journal 8, no. 3 (March 15, 2009): 354–59. http://dx.doi.org/10.3923/itj.2009.354.359.
Zhao, Y., S. Oberthür, M. Kardos, and F. J. Rammig. "Model-based Runtime Verification Framework for Self-optimizing Systems." Electronic Notes in Theoretical Computer Science 144, no. 4 (May 2006): 125–45. http://dx.doi.org/10.1016/j.entcs.2006.02.008.
Anda, Amal Ahmed, and Daniel Amyot. "Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems." Journal of Integrated Design and Process Science 25, no. 2 (May 30, 2022): 141–77. http://dx.doi.org/10.3233/jid210022.
Xiang, Chengcheng, Zhengwei Qi, and Walter Binder. "Flexible and Extensible Runtime Verification for Java (Extended Version)." International Journal of Software Engineering and Knowledge Engineering 25, no. 09n10 (November 2015): 1595–609. http://dx.doi.org/10.1142/s0218194015400343.
Kern, Bastian, and Patrick Jöckel. "A diagnostic interface for the ICOsahedral Non-hydrostatic (ICON) modelling framework based on the Modular Earth Submodel System (MESSy v2.50)." Geoscientific Model Development 9, no. 10 (October 13, 2016): 3639–54. http://dx.doi.org/10.5194/gmd-9-3639-2016.
Chiu, Yuan-Shyi Peter, Yunsen Wang, Tsu-Ming Yeh, and Singa Wang Chiu. "Fabrication runtime decision for a hybrid system incorporating probabilistic breakdowns, scrap, and overtime." International Journal of Industrial Engineering Computations 13, no. 3 (2022): 293–308. http://dx.doi.org/10.5267/j.ijiec.2022.4.001.
ARBELAEZ, ALEJANDRO, CHARLOTTE TRUCHET, and PHILIPPE CODOGNET. "Using sequential runtime distributions for the parallel speedup prediction of SAT local search." Theory and Practice of Logic Programming 13, no. 4-5 (July 2013): 625–39. http://dx.doi.org/10.1017/s1471068413000392.
LI, CHEN, MANFRED REICHERT, and ANDREAS WOMBACHER. "THE MINADEPT CLUSTERING APPROACH FOR DISCOVERING REFERENCE PROCESS MODELS OUT OF PROCESS VARIANTS." International Journal of Cooperative Information Systems 19, no. 03n04 (September 2010): 159–203. http://dx.doi.org/10.1142/s0218843010002139.
Keogh, Kathleen, and Liz Sonenberg. "Designing Multi-Agent System Organisations for Flexible Runtime Behaviour." Applied Sciences 10, no. 15 (August 2, 2020): 5335. http://dx.doi.org/10.3390/app10155335.
Dong, Zhijiang, Yujian Fu, and Yue Fu. "Runtime Verification on Robotics Systems." International Journal of Robotics Applications and Technologies 3, no. 1 (January 2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Park, Jin-Hyeok, Khurshedjon Farkhodov, Suk-Hwan Lee, and Ki-Ryong Kwon. "Deep Reinforcement Learning-Based DQN Agent Algorithm for Visual Object Tracking in a Virtual Environmental Simulation." Applied Sciences 12, no. 7 (March 22, 2022): 3220. http://dx.doi.org/10.3390/app12073220.
Xu, Da, Yuting Ye, Chuanwei Ruan, and Bo Yang. "Towards Robust Off-Policy Learning for Runtime Uncertainty." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 9 (June 28, 2022): 10101–9. http://dx.doi.org/10.1609/aaai.v36i9.21249.
Fernández-Alvarez, Alberto-Manuel, Daniel Fernández-Lanvin, and Manuel Quintela-Pumares. "Runtime adaptability to domain model changes with efficient constraint checking." Journal of Ambient Intelligence and Smart Environments 8, no. 6 (November 8, 2016): 723–24. http://dx.doi.org/10.3233/ais-160409.
Li, Jianliang, Xiaohai Li, Steven Deeth, Robert Lugg, and Lawrence S. Melvin. "Model based optical proximity correction runtime saving with multisegment solver." Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures 27, no. 6 (2009): 2972. http://dx.doi.org/10.1116/1.3264667.
Rudy, Jaroslaw. "Dynamic Turing Machine: model and properties for runtime code changes." Computer Science 17, no. 2 (2016): 187. http://dx.doi.org/10.7494/csci.2016.17.2.187.
Mosincat, Adina, Walter Binder, and Mehdi Jazayeri. "Achieving runtime adaptability through automated model evolution and variant selection." Enterprise Information Systems 8, no. 1 (June 21, 2012): 67–83. http://dx.doi.org/10.1080/17517575.2012.691182.
Efremov, Denis Valentinovich, Viktoria Vladimirovna Kopach, Eugeny Valerievich Kornykhin, Viktor Vyacheslavovich Kuliamin, Alexander Konstantinovich Petrenko, Alexey Vladimirovich Khoroshilov, and Ilya Viktorovich Shchepetkov. "Runtime Verification of Operating Systems Based on Abstract Models." Proceedings of the Institute for System Programming of the RAS 33, no. 6 (2021): 15–26. http://dx.doi.org/10.15514/ispras-2021-33(6)-2.
Yigitbas, Enes, Ivan Jovanovikj, Kai Biermeier, Stefan Sauer, and Gregor Engels. "Integrated model-driven development of self-adaptive user interfaces." Software and Systems Modeling 19, no. 5 (January 27, 2020): 1057–81. http://dx.doi.org/10.1007/s10270-020-00777-7.
GRELCK, CLEMENS. "Shared memory multiprocessor support for functional array processing in SAC." Journal of Functional Programming 15, no. 3 (May 2005): 353–401. http://dx.doi.org/10.1017/s0956796805005538.
Boukili, Zineb, Hai Nam Tran, and Alain Plantec. "Fine-Grained Runtime Monitoring of Real-Time Embedded Systems." ACM SIGAda Ada Letters 42, no. 1 (December 15, 2022): 105. http://dx.doi.org/10.1145/3577949.3577970.
MÁRQUEZ, A., C. GIL, R. BAÑOS, and J. GÓMEZ. "IMPROVING THE PERFORMANCE OF MULTI-OBJECTIVE EVOLUTIONARY ALGORITHMS USING THE ISLAND PARALLEL MODEL." Parallel Processing Letters 17, no. 02 (June 2007): 127–39. http://dx.doi.org/10.1142/s0129626407002922.
Gao, Tilei, Xiaohui Jia, Rong Jiang, Yuanyuan He, Tao Zhang, and Ming Yang. "Trusted Cloud Service System Based on Block Chain Technology." Wireless Communications and Mobile Computing 2022 (August 21, 2022): 1–12. http://dx.doi.org/10.1155/2022/3704720.
Oz, Isil, Muhammad Khurram Bhatti, Konstantin Popov, and Mats Brorsson. "Regression-Based Prediction for Task-Based Program Performance." Journal of Circuits, Systems and Computers 28, no. 04 (March 31, 2019): 1950060. http://dx.doi.org/10.1142/s0218126619500609.
Lee, Euijong, Young-Duk Seo, and Young-Gab Kim. "Self-Adaptive Framework Based on MAPE Loop for Internet of Things." Sensors 19, no. 13 (July 7, 2019): 2996. http://dx.doi.org/10.3390/s19132996.
Murakami, Masaki. "A model of runtime transformation for distributed systems based on directed acyclic graph model." Journal of Systems Architecture 50, no. 7 (July 2004): 417–25. http://dx.doi.org/10.1016/j.sysarc.2003.09.009.