Artykuły w czasopismach na temat „Concurrent Component-Based Systems”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Concurrent Component-Based Systems”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Cleaveland, Rance. "Specification formalisms for component-based concurrent systems." ACM SIGSOFT Software Engineering Notes 25, no. 1 (2000): 42–43. http://dx.doi.org/10.1145/340855.340876.
Pełny tekst źródłaKapová, Lucia, and Steffen Becker. "Systematic Refinement of Performance Models for Concurrent Component-based Systems." Electronic Notes in Theoretical Computer Science 264, no. 1 (2010): 73–90. http://dx.doi.org/10.1016/j.entcs.2010.07.006.
Pełny tekst źródłaLi, Yi, Weidi Sun, and Meng Sun. "Mediator: A component-based modeling language for concurrent and distributed systems." Science of Computer Programming 192 (June 2020): 102438. http://dx.doi.org/10.1016/j.scico.2020.102438.
Pełny tekst źródłaAli, Awad, Mohammed Bakri Bashir, Alzubair Hassan, et al. "Design-Time Reliability Prediction Model for Component-Based Software Systems." Sensors 22, no. 7 (2022): 2812. http://dx.doi.org/10.3390/s22072812.
Pełny tekst źródłaBajunaid, Noor, and Daniel A. Menascé. "Efficient modeling and optimizing of checkpointing in concurrent component-based software systems." Journal of Systems and Software 139 (May 2018): 1–13. http://dx.doi.org/10.1016/j.jss.2018.01.032.
Pełny tekst źródłaSirjani, Marjan, Boer Frank De, and Ali Movaghar. "Modular Verification of a Component-Based Actor Language." JUCS - Journal of Universal Computer Science 11, no. (10) (2005): 1695–717. https://doi.org/10.3217/jucs-011-10-1695.
Pełny tekst źródłaPham, Thanh-Trung, Xavier Défago, and Quyet-Thang Huynh. "Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors." Science of Computer Programming 97 (January 2015): 426–57. http://dx.doi.org/10.1016/j.scico.2014.03.016.
Pełny tekst źródłaAutili, Marco, Leonardo Mostarda, Alfredo Navarra, and Massimo Tivoli. "Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems." Journal of Systems and Software 81, no. 12 (2008): 2210–36. http://dx.doi.org/10.1016/j.jss.2008.04.006.
Pełny tekst źródłaAoumeur, Nasreddine, and Gunter Saake. "Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal." Data & Knowledge Engineering 50, no. 2 (2004): 117–73. http://dx.doi.org/10.1016/j.datak.2003.10.005.
Pełny tekst źródłaChen, Bin, Jie Hu, Jin Qi, and Weixing Chen. "Concurrent multi-process graph-based design component synthesis: Framework and algorithm." Engineering Applications of Artificial Intelligence 97 (January 2021): 104051. http://dx.doi.org/10.1016/j.engappai.2020.104051.
Pełny tekst źródłaPujari, Niharika, Abhishek Ray, and Jagannath Singh. "An efficient and precise dynamic slicing for concurrent component-oriented programs." International Journal of Knowledge-based and Intelligent Engineering Systems 25, no. 4 (2022): 449–64. http://dx.doi.org/10.3233/kes-210088.
Pełny tekst źródłaBertoni, Alessandro, and Marco Bertoni. "Supporting Early Stage Set-Based Concurrent Engineering with Value Driven Design." Proceedings of the Design Society: International Conference on Engineering Design 1, no. 1 (2019): 2367–76. http://dx.doi.org/10.1017/dsi.2019.243.
Pełny tekst źródłaSirjani, Marjan, Ali Movaghar, Amin Shali, and Frank S. de Boer. "Modeling and Verification of Reactive Systems using Rebeca." Fundamenta Informaticae 63, no. 4 (2004): 385–410. https://doi.org/10.3233/fun-2004-63405.
Pełny tekst źródłaRahimi, Shahram, Rishath A. S. Rias, and Elham S. Khorasani. "An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi." International Journal of Software Science and Computational Intelligence 4, no. 1 (2012): 55–83. http://dx.doi.org/10.4018/jssci.2012010103.
Pełny tekst źródłaChen, Ye, and Zhelong Wang. "A hierarchical method for human concurrent activity recognition using miniature inertial sensors." Sensor Review 37, no. 1 (2017): 101–9. http://dx.doi.org/10.1108/sr-05-2016-0085.
Pełny tekst źródłaLowe, Gavin. "Parameterized verification of systems with component identities, using view abstraction." International Journal on Software Tools for Technology Transfer 24, no. 2 (2022): 287–324. http://dx.doi.org/10.1007/s10009-022-00648-0.
Pełny tekst źródłaDong, Shengli, Xinghan Xu, Yuhang Chen, Yifang Zhang, and Shengzheng Wang. "Double-Layer Distributed and Integrated Fault Detection Strategy for Non-Gaussian Dynamic Industrial Systems." Entropy 26, no. 10 (2024): 815. http://dx.doi.org/10.3390/e26100815.
Pełny tekst źródłaXu, Mingdi, Zhaoyang Jin, Shengjie Ye, and Haipeng Fan. "Characteristic Canonical Analysis-Based Attack Detection of Industrial Control Systems in the Geological Drilling Process." Processes 12, no. 9 (2024): 2053. http://dx.doi.org/10.3390/pr12092053.
Pełny tekst źródłaSanan, David, Yongwang Zhao, Shang-Wei Lin, and Liu Yang. "CSim 2." ACM Transactions on Programming Languages and Systems 43, no. 1 (2021): 1–46. http://dx.doi.org/10.1145/3436808.
Pełny tekst źródłaAhzaliza, Dian, Hasan Maksum, Wakhinuddin Wakhinuddin, and Eko Indrawan. "Evaluation of Learning Program Subjects for Building Utility Systems Based on Facilities and Infrastructure Standards Using the CIPPO Model at SMK Negeri 2 Banda Aceh." Jurnal Pendidikan Teknologi Kejuruan 5, no. 1 (2022): 1–7. http://dx.doi.org/10.24036/jptk.v5i1.24723.
Pełny tekst źródłaSan, Khin Thida, Sun Ju Mun, Yeong Hun Choe, and Yoon Seok Chang. "UAV Delivery Monitoring System." MATEC Web of Conferences 151 (2018): 04011. http://dx.doi.org/10.1051/matecconf/201815104011.
Pełny tekst źródłaVERLINDEN, NICO, and DIRK JANSSENS. "Algebraic properties of processes for Local Action Systems." Mathematical Structures in Computer Science 12, no. 4 (2002): 423–48. http://dx.doi.org/10.1017/s096012950100353x.
Pełny tekst źródłaCAO, JIAN, and SHENSHENG ZHANG. "AN INTEGRATED MULTI-AGENT CSCW SYSTEM FOR CONCURRENT PRODUCT DEVELOPMENT." International Journal of Information Technology & Decision Making 01, no. 03 (2002): 423–40. http://dx.doi.org/10.1142/s0219622002000270.
Pełny tekst źródłaUzunidis, Dimitris, Fotini Apostolopoulou, Gerasimos Pagiatakis, and Alexandros Stavdas. "Analysis of Available Components and Performance Estimation of Optical Multi-Band Systems." Eng 2, no. 4 (2021): 531–43. http://dx.doi.org/10.3390/eng2040034.
Pełny tekst źródłaOtal, Antonio, Francisco Celada, Jose Chimeno, et al. "Review on Treatment Planning Systems for Cervix Brachytherapy (Interventional Radiotherapy): Some Desirable and Convenient Practical Aspects to Be Implemented from Radiation Oncologist and Medical Physics Perspectives." Cancers 14, no. 14 (2022): 3467. http://dx.doi.org/10.3390/cancers14143467.
Pełny tekst źródłaFernando, GVC, and Teguh Kristian Perdamaian. "Integrating palliative care into primary healthcare systems: Advocacy efforts, milestones and challenges in Asia." Malaysian Family Physician 19 (October 23, 2024): 61. https://doi.org/10.51866/cm0007.
Pełny tekst źródłaParrot, Olivier, Claude De Paoli, Alain Rouge, and Catherine Dutey. "4.3.2 Assessing the relevance of systems engineering for electrical commercial product development." INCOSE International Symposium 10, no. 1 (2000): 328–35. http://dx.doi.org/10.1002/j.2334-5837.2000.tb00394.x.
Pełny tekst źródłaFernandes Costa, Tássio, Álvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, and Angelo Perkusich. "Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems." Applied Sciences 12, no. 3 (2022): 1475. http://dx.doi.org/10.3390/app12031475.
Pełny tekst źródłaOlzak, L. A., J. P. Thomas, and T. D. Wickens. "Simultaneously Judging Contrast in Different Orientation and Frequency Bands." Perception 25, no. 1_suppl (1996): 116. http://dx.doi.org/10.1068/v96l0604.
Pełny tekst źródłaBrugali, Davide, and Nico Hochgeschwender. "Software Product Line Engineering for Robotic Perception Systems." International Journal of Semantic Computing 12, no. 01 (2018): 89–107. http://dx.doi.org/10.1142/s1793351x18400056.
Pełny tekst źródłaWijeratne, Tissa, and Sheila G. Crewther. "A Systems Neuroscience Approach to Diagnosis and Rehabilitation of Post COVID Neurological Syndrome Based on the Systems Neuroscience Test Battery (SNTB) Study Protocol." NeuroRehabilitation: An International, Interdisciplinary Journal 56, no. 1 (2025): 37–47. https://doi.org/10.1177/10538135241296773.
Pełny tekst źródłaBorja, V., R. Bell, and J. A. Harding. "Assisting design for manufacture using the data model driven approach." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 215, no. 12 (2001): 1757–71. http://dx.doi.org/10.1177/095440540121501209.
Pełny tekst źródłaGinting, Mimaika Luluina, Chek Hooi Wong, Zoe Zon Be Lim, et al. "A Patient-Centred Medical Home Care Model for Community-Dwelling Older Adults in Singapore: A Mixed-Method Study on Patient’s Care Experience." International Journal of Environmental Research and Public Health 19, no. 8 (2022): 4778. http://dx.doi.org/10.3390/ijerph19084778.
Pełny tekst źródłaTrad, Antoine. "A Relational DataBase based Enterprise Transformation Projects." International Journal of Mathematics and Computers in Simulation 17 (June 14, 2023): 1–11. http://dx.doi.org/10.46300/9102.2023.17.1.
Pełny tekst źródłaHartle, Larissa, Liana Mendes-Santos, Eduarda Barbosa, Giulia Balboni, and Helenice Charchat-Fichman. "Evidence of the validity of a novel version of the computerized cognitive screening battery CompCog." Dementia & Neuropsychologia 15, no. 4 (2021): 485–96. http://dx.doi.org/10.1590/1980-57642021dn15-040010.
Pełny tekst źródłaSchultz, Emily B., J. Clint Iles, Thomas G. Matney, et al. "Stand-Level Growth and Yield Component Models for Red Oak–Sweetgum Forests on Mid-South Minor Stream Bottoms." Southern Journal of Applied Forestry 34, no. 4 (2010): 161–75. http://dx.doi.org/10.1093/sjaf/34.4.161.
Pełny tekst źródłaIbrahim, Fausat Motunrayo, Benson Osikabor, Bolanle Tawakalitu Olatunji, Grace Oluwatobi Ogunwale, and Olawale Julius Aluko. "Forest in the Context of Social Change: Traditional Orientation and Forest Mystification in a Nigerian Forest-Reserve Setting." Changing Societies & Personalities 5, no. 3 (2021): 496. http://dx.doi.org/10.15826/csp.2021.5.3.147.
Pełny tekst źródłaMaugeri, Giosue', Simone Arrigoni, Alessandro Lavelli, et al. "Enhancing fault diagnosis in photovoltaic plants: managing the simultaneity of faulty bypass diodes, series resistance increases, and partial shading effects." EPJ Photovoltaics 16 (2025): 14. https://doi.org/10.1051/epjpv/2025001.
Pełny tekst źródłaЮсим, Vyacheslav Yusim, Свирчевский, and Vadim Svirchevskiy. "The Relationship of Economy and Industry Development Macroconstants." Economics 5, no. 2 (2017): 29–38. http://dx.doi.org/10.12737/25147.
Pełny tekst źródłaHAIDER, NEENA B., PAUL DEMARCO, ARNE M. NYSTUEN, et al. "The transcription factorNr2e3functions in retinal progenitors to suppress cone cell generation." Visual Neuroscience 23, no. 6 (2006): 917–29. http://dx.doi.org/10.1017/s095252380623027x.
Pełny tekst źródłaQin, Zhenyu, Junqiang Lu, Baiyong Men, Shijie Wei, and Jiakang Pan. "Design of a Multi-Node Data Acquisition System for Logging-While-Drilling Acoustic Logging Instruments Based on FPGA." Sensors 25, no. 3 (2025): 808. https://doi.org/10.3390/s25030808.
Pełny tekst źródłaKOUZAPAS, DIMITRIOS, NOBUKO YOSHIDA, RAYMOND HU, and KOHEI HONDA. "On asynchronous eventful session semantics." Mathematical Structures in Computer Science 26, no. 2 (2014): 303–64. http://dx.doi.org/10.1017/s096012951400019x.
Pełny tekst źródłaShah, Ismail, Hasnain Iftikhar, Sajid Ali, and Depeng Wang. "Short-Term Electricity Demand Forecasting Using ComponentsEstimation Technique." Energies 12, no. 13 (2019): 2532. http://dx.doi.org/10.3390/en12132532.
Pełny tekst źródłaGarcia Figueiredo-Pinto, Danilo, Ip-Shing Fan, and Fernando Teixeira Mendes Abrahão. "Operational Availability Optimization Model Based on the Integration of Predictive and Scheduled Maintenance." PHM Society European Conference 6, no. 1 (2021): 11. http://dx.doi.org/10.36001/phme.2021.v6i1.2816.
Pełny tekst źródłaBache, Martin R., Christopher D. Newton, John Paul Jones, et al. "Advances in Damage Monitoring Techniques for the Detection of Failure in SiCf/SiC Ceramic Matrix Composites." Ceramics 2, no. 2 (2019): 347–71. http://dx.doi.org/10.3390/ceramics2020028.
Pełny tekst źródłaKRYSOVATYY, Ihor. "ORGANIZATIONAL AND SPATIAL FEATURES OF INNOVATION MANAGEMENT IN SMART CITIES DEVELOPMENT." "EСONOMY. FINANСES. MANAGEMENT: Topical issues of science and practical activity", no. 4 (70) (December 24, 2024): 133–43. https://doi.org/10.37128/2411-4413-2024-4-9.
Pełny tekst źródłaLee, Hae-Jun. "Dynamic Context Awareness of Universal Middleware based for IoT SNMP Service Platform." Tehnički glasnik 17, no. 2 (2023): 185–91. http://dx.doi.org/10.31803/tg-20221221115431.
Pełny tekst źródłaReiser, Jakob, Zhennan Lai, Xian-Yang Zhang, and Roscoe O. Brady. "Development of Multigene and Regulated Lentivirus Vectors." Journal of Virology 74, no. 22 (2000): 10589–99. http://dx.doi.org/10.1128/jvi.74.22.10589-10599.2000.
Pełny tekst źródłaOlzak, Lynn A., and Thomas D. Wickens. "Discrimination of Complex Patterns: Orientation Information is Integrated across Spatial Scale; Spatial-Frequency and Contrast Information are Not." Perception 26, no. 9 (1997): 1101–20. http://dx.doi.org/10.1068/p261101.
Pełny tekst źródłaDefer, E., J. P. Pinty, S. Coquillat, et al. "An overview of the lightning and atmospheric electricity observations collected in Southern France during the HYdrological cycle in Mediterranean EXperiment (HyMeX), Special Observation Period 1." Atmospheric Measurement Techniques Discussions 7, no. 8 (2014): 8013–65. http://dx.doi.org/10.5194/amtd-7-8013-2014.
Pełny tekst źródła