Journal articles on the topic 'Concurrent Component-Based Systems'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Concurrent Component-Based Systems.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Cleaveland, Rance. "Specification formalisms for component-based concurrent systems." ACM SIGSOFT Software Engineering Notes 25, no. 1 (January 2000): 42–43. http://dx.doi.org/10.1145/340855.340876.
Full textKapová, Lucia, and Steffen Becker. "Systematic Refinement of Performance Models for Concurrent Component-based Systems." Electronic Notes in Theoretical Computer Science 264, no. 1 (August 2010): 73–90. http://dx.doi.org/10.1016/j.entcs.2010.07.006.
Full textLi, 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.
Full textAli, Awad, Mohammed Bakri Bashir, Alzubair Hassan, Rafik Hamza, Samar M. Alqhtani, Tawfeeg Mohmmed Tawfeeg, and Adil Yousif. "Design-Time Reliability Prediction Model for Component-Based Software Systems." Sensors 22, no. 7 (April 6, 2022): 2812. http://dx.doi.org/10.3390/s22072812.
Full textBajunaid, 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.
Full textPham, 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.
Full textAutili, 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 (December 2008): 2210–36. http://dx.doi.org/10.1016/j.jss.2008.04.006.
Full textAoumeur, Nasreddine, and Gunter Saake. "Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal." Data & Knowledge Engineering 50, no. 2 (August 2004): 117–73. http://dx.doi.org/10.1016/j.datak.2003.10.005.
Full textChen, 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.
Full textPujari, 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 (February 18, 2022): 449–64. http://dx.doi.org/10.3233/kes-210088.
Full textBertoni, 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 (July 2019): 2367–76. http://dx.doi.org/10.1017/dsi.2019.243.
Full textRahimi, 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 (January 2012): 55–83. http://dx.doi.org/10.4018/jssci.2012010103.
Full textLowe, Gavin. "Parameterized verification of systems with component identities, using view abstraction." International Journal on Software Tools for Technology Transfer 24, no. 2 (February 26, 2022): 287–324. http://dx.doi.org/10.1007/s10009-022-00648-0.
Full textChen, Ye, and Zhelong Wang. "A hierarchical method for human concurrent activity recognition using miniature inertial sensors." Sensor Review 37, no. 1 (January 16, 2017): 101–9. http://dx.doi.org/10.1108/sr-05-2016-0085.
Full textXu, 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 (September 23, 2024): 2053. http://dx.doi.org/10.3390/pr12092053.
Full textDong, 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 (September 25, 2024): 815. http://dx.doi.org/10.3390/e26100815.
Full textSanan, David, Yongwang Zhao, Shang-Wei Lin, and Liu Yang. "CSim 2." ACM Transactions on Programming Languages and Systems 43, no. 1 (April 2021): 1–46. http://dx.doi.org/10.1145/3436808.
Full textAhzaliza, 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 (February 16, 2022): 1–7. http://dx.doi.org/10.24036/jptk.v5i1.24723.
Full textCAO, JIAN, and SHENSHENG ZHANG. "AN INTEGRATED MULTI-AGENT CSCW SYSTEM FOR CONCURRENT PRODUCT DEVELOPMENT." International Journal of Information Technology & Decision Making 01, no. 03 (September 2002): 423–40. http://dx.doi.org/10.1142/s0219622002000270.
Full textVERLINDEN, NICO, and DIRK JANSSENS. "Algebraic properties of processes for Local Action Systems." Mathematical Structures in Computer Science 12, no. 4 (August 2002): 423–48. http://dx.doi.org/10.1017/s096012950100353x.
Full textSan, 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.
Full textUzunidis, Dimitris, Fotini Apostolopoulou, Gerasimos Pagiatakis, and Alexandros Stavdas. "Analysis of Available Components and Performance Estimation of Optical Multi-Band Systems." Eng 2, no. 4 (November 8, 2021): 531–43. http://dx.doi.org/10.3390/eng2040034.
Full textOtal, Antonio, Francisco Celada, Jose Chimeno, Javier Vijande, Santiago Pellejero, Maria-Jose Perez-Calatayud, Elena Villafranca, 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 (July 17, 2022): 3467. http://dx.doi.org/10.3390/cancers14143467.
Full textFernando, 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.
Full textParrot, 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 (July 2000): 328–35. http://dx.doi.org/10.1002/j.2334-5837.2000.tb00394.x.
Full textFernandes 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 (January 29, 2022): 1475. http://dx.doi.org/10.3390/app12031475.
Full textOlzak, L. A., J. P. Thomas, and T. D. Wickens. "Simultaneously Judging Contrast in Different Orientation and Frequency Bands." Perception 25, no. 1_suppl (August 1996): 116. http://dx.doi.org/10.1068/v96l0604.
Full textBrugali, Davide, and Nico Hochgeschwender. "Software Product Line Engineering for Robotic Perception Systems." International Journal of Semantic Computing 12, no. 01 (March 2018): 89–107. http://dx.doi.org/10.1142/s1793351x18400056.
Full textBorja, 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 (December 1, 2001): 1757–71. http://dx.doi.org/10.1177/095440540121501209.
Full textTrad, 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.
Full textGinting, Mimaika Luluina, Chek Hooi Wong, Zoe Zon Be Lim, Robin Wai Munn Choo, Sheena Camilla Hirose Carlsen, Grace Sum, and Hubertus Johannes Maria Vrijhoef. "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 (April 14, 2022): 4778. http://dx.doi.org/10.3390/ijerph19084778.
Full textHartle, 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 (December 2021): 485–96. http://dx.doi.org/10.1590/1980-57642021dn15-040010.
Full textSchultz, Emily B., J. Clint Iles, Thomas G. Matney, Andrew W. Ezell, James S. Meadows, Ted D. Leininger, W. Cade Booth, and J. Paul Jeffreys. "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 (November 1, 2010): 161–75. http://dx.doi.org/10.1093/sjaf/34.4.161.
Full textIbrahim, 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 (October 11, 2021): 496. http://dx.doi.org/10.15826/csp.2021.5.3.147.
Full textЮсим, Vyacheslav Yusim, Свирчевский, and Vadim Svirchevskiy. "The Relationship of Economy and Industry Development Macroconstants." Economics 5, no. 2 (April 17, 2017): 29–38. http://dx.doi.org/10.12737/25147.
Full textHAIDER, NEENA B., PAUL DEMARCO, ARNE M. NYSTUEN, XIAONA HUANG, RICHARD S. SMITH, MAUREEN A. MCCALL, JÜRGEN K. NAGGERT, and PATSY M. NISHINA. "The transcription factorNr2e3functions in retinal progenitors to suppress cone cell generation." Visual Neuroscience 23, no. 6 (November 2006): 917–29. http://dx.doi.org/10.1017/s095252380623027x.
Full textKOUZAPAS, DIMITRIOS, NOBUKO YOSHIDA, RAYMOND HU, and KOHEI HONDA. "On asynchronous eventful session semantics." Mathematical Structures in Computer Science 26, no. 2 (November 10, 2014): 303–64. http://dx.doi.org/10.1017/s096012951400019x.
Full textGarcia 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 (June 29, 2021): 11. http://dx.doi.org/10.36001/phme.2021.v6i1.2816.
Full textShah, Ismail, Hasnain Iftikhar, Sajid Ali, and Depeng Wang. "Short-Term Electricity Demand Forecasting Using ComponentsEstimation Technique." Energies 12, no. 13 (July 1, 2019): 2532. http://dx.doi.org/10.3390/en12132532.
Full textBache, Martin R., Christopher D. Newton, John Paul Jones, Stephen Pattison, Louise Gale, Pascual Ian Nicholson, and Eleri Weston. "Advances in Damage Monitoring Techniques for the Detection of Failure in SiCf/SiC Ceramic Matrix Composites." Ceramics 2, no. 2 (May 15, 2019): 347–71. http://dx.doi.org/10.3390/ceramics2020028.
Full textLee, Hae-Jun. "Dynamic Context Awareness of Universal Middleware based for IoT SNMP Service Platform." Tehnički glasnik 17, no. 2 (May 13, 2023): 185–91. http://dx.doi.org/10.31803/tg-20221221115431.
Full textReiser, Jakob, Zhennan Lai, Xian-Yang Zhang, and Roscoe O. Brady. "Development of Multigene and Regulated Lentivirus Vectors." Journal of Virology 74, no. 22 (November 15, 2000): 10589–99. http://dx.doi.org/10.1128/jvi.74.22.10589-10599.2000.
Full textOlzak, 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 (September 1997): 1101–20. http://dx.doi.org/10.1068/p261101.
Full textDefer, E., J. P. Pinty, S. Coquillat, J. M. Martin, S. Prieur, S. Soula, E. Richard, 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 (August 4, 2014): 8013–65. http://dx.doi.org/10.5194/amtd-7-8013-2014.
Full textBaxter, Douglas A., Carmen C. Canavier, John W. Clark, and John H. Byrne. "Computational Model of the Serotonergic Modulation of Sensory Neurons in Aplysia." Journal of Neurophysiology 82, no. 6 (December 1, 1999): 2914–35. http://dx.doi.org/10.1152/jn.1999.82.6.2914.
Full textУсанова and Elena Usanova. "Formation of the Basic Level of Geometry and Graphics Competence of Students in E-Learning." Geometry & Graphics 4, no. 1 (March 17, 2016): 64–72. http://dx.doi.org/10.12737/18059.
Full textNazarpour, Hosein, Yliès Falcone, Saddek Bensalem, and Marius Bozga. "Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation." Formal Aspects of Computing 29, no. 6 (March 6, 2017): 951–86. http://dx.doi.org/10.1007/s00165-017-0422-6.
Full textBerg, Peter, and Michael L. Pace. "Continuous measurement of air–water gas exchange by underwater eddy covariance." Biogeosciences 14, no. 23 (December 11, 2017): 5595–606. http://dx.doi.org/10.5194/bg-14-5595-2017.
Full textAbdoli, Mohammad, Karl Lapo, Johann Schneider, Johannes Olesch, and Christoph K. Thomas. "Toward quantifying turbulent vertical airflow and sensible heat flux in tall forest canopies using fiber-optic distributed temperature sensing." Atmospheric Measurement Techniques 16, no. 3 (February 14, 2023): 809–24. http://dx.doi.org/10.5194/amt-16-809-2023.
Full textLiu, Shixuan, Tianle Pu, Li Zeng, Yunfei Wang, Haoxiang Cheng, and Zhong Liu. "Reinforcement Learning-Based Network Dismantling by Targeting Maximum-Degree Nodes in the Giant Connected Component." Mathematics 12, no. 17 (September 6, 2024): 2766. http://dx.doi.org/10.3390/math12172766.
Full text