Literatura académica sobre el tema "Concurrent Component-Based Systems"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Concurrent Component-Based Systems".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Concurrent Component-Based Systems"
Cleaveland, Rance. "Specification formalisms for component-based concurrent systems". ACM SIGSOFT Software Engineering Notes 25, n.º 1 (enero de 2000): 42–43. http://dx.doi.org/10.1145/340855.340876.
Texto completoKapová, Lucia y Steffen Becker. "Systematic Refinement of Performance Models for Concurrent Component-based Systems". Electronic Notes in Theoretical Computer Science 264, n.º 1 (agosto de 2010): 73–90. http://dx.doi.org/10.1016/j.entcs.2010.07.006.
Texto completoLi, Yi, Weidi Sun y Meng Sun. "Mediator: A component-based modeling language for concurrent and distributed systems". Science of Computer Programming 192 (junio de 2020): 102438. http://dx.doi.org/10.1016/j.scico.2020.102438.
Texto completoAli, Awad, Mohammed Bakri Bashir, Alzubair Hassan, Rafik Hamza, Samar M. Alqhtani, Tawfeeg Mohmmed Tawfeeg y Adil Yousif. "Design-Time Reliability Prediction Model for Component-Based Software Systems". Sensors 22, n.º 7 (6 de abril de 2022): 2812. http://dx.doi.org/10.3390/s22072812.
Texto completoBajunaid, Noor y Daniel A. Menascé. "Efficient modeling and optimizing of checkpointing in concurrent component-based software systems". Journal of Systems and Software 139 (mayo de 2018): 1–13. http://dx.doi.org/10.1016/j.jss.2018.01.032.
Texto completoPham, Thanh-Trung, Xavier Défago y Quyet-Thang Huynh. "Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors". Science of Computer Programming 97 (enero de 2015): 426–57. http://dx.doi.org/10.1016/j.scico.2014.03.016.
Texto completoAutili, Marco, Leonardo Mostarda, Alfredo Navarra y Massimo Tivoli. "Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems". Journal of Systems and Software 81, n.º 12 (diciembre de 2008): 2210–36. http://dx.doi.org/10.1016/j.jss.2008.04.006.
Texto completoAoumeur, Nasreddine y Gunter Saake. "Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal". Data & Knowledge Engineering 50, n.º 2 (agosto de 2004): 117–73. http://dx.doi.org/10.1016/j.datak.2003.10.005.
Texto completoChen, Bin, Jie Hu, Jin Qi y Weixing Chen. "Concurrent multi-process graph-based design component synthesis: Framework and algorithm". Engineering Applications of Artificial Intelligence 97 (enero de 2021): 104051. http://dx.doi.org/10.1016/j.engappai.2020.104051.
Texto completoPujari, Niharika, Abhishek Ray y Jagannath Singh. "An efficient and precise dynamic slicing for concurrent component-oriented programs". International Journal of Knowledge-based and Intelligent Engineering Systems 25, n.º 4 (18 de febrero de 2022): 449–64. http://dx.doi.org/10.3233/kes-210088.
Texto completoTesis sobre el tema "Concurrent Component-Based Systems"
Farhat, Salman. "Safe Dynamic Reconfiguration of Applications with Features". Electronic Thesis or Diss., Université de Lille (2022-....), 2024. http://www.theses.fr/2024ULILB014.
Texto completoCloud applications and cyber-physical systems require frequent reconfiguration at run-time to adapt to changing needs and requirements, highlighting the importance of dynamic reconfiguration capabilities. Additionally, the environment platforms can extend and modify their services at run-time, which necessitates a compositional approach to allow the modifications of the configurations. To manage the variability of large systems' architecture, feature models are widely used at design-time with several operators defined to allow their composition. Existing approaches compute new valid configurations either at design time, at runtime, or both, leading to significant computational or validation overheads for each reconfiguration step. In addition, building correct-by-construction formal models to handle application reconfigurations is a complex and error-prone task, and there is a need to make it automated as far as possible.To address these challenges, we propose an approach named FeCo4Reco that leverages feature models to automatically generate, in a component-based formalism called JavaBIP, component-based run-time variability models that respect the feature model constraints. These component-based run-time variability models are executable and can be used at runtime to enforce the variability constraints, that is, to ensure the (partial) validity of all reachable configurations.As complex systems' architectures may evolve at run-time by acquiring new functionalities while respecting new constraints, we define composition operators for component-based run-time variability models that not only encode these feature model composition operators, but also ensure safe run-time reconfiguration. To prove the correctness and compositionality properties, we propose a novel multi-step UP-bisimulation equivalence and use it to show that the component-based run-time variability models preserve the semantics of the composed feature models.For the experimental evaluation, we demonstrated the applicability of our approach in real-world scenarios by generating a run-time model based on the feature model of the Heroku cloud platform using our approach. This model is then used to deploy a real-world web application on the Heroku platform. Furthermore, we measured the time and memory overheads induced by the generated run-time models on systems involving up to 300 features. The results show that the overheads are negligible, demonstrating the practical interest of our approach
"A Distributed Component-based Software Framework for Laboratory Automation Systems". Master's thesis, 2012. http://hdl.handle.net/2286/R.I.15945.
Texto completoDissertation/Thesis
Thesis Presentation
M.S. Computer Science 2012
Capítulos de libros sobre el tema "Concurrent Component-Based Systems"
Pujari, Niharika, Abhishek Ray y Jagannath Singh. "Slicing Based on Web Scrapped Concurrent Component". En Advances in Intelligent Systems and Computing, 275–89. Singapore: Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5400-1_29.
Texto completoAutili, Marco, Michele Flammini, Paola Inverardi, Alfredo Navarra y Massimo Tivoli. "Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems". En Software Architecture, 17–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11966104_3.
Texto completoRodrigues, Genaína, David Rosenblum y Sebastian Uchitel. "Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems". En Fundamental Approaches to Software Engineering, 111–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31984-9_9.
Texto completoBuchs, Didier, David Hurzeler y Sandro Costa. "Component Based Dependable System Modelling for Easier Verification". En Concurrency in Dependable Computing, 61–83. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4757-3573-4_4.
Texto completoBliudze, Simon y Joseph Sifakis. "A Notion of Glue Expressiveness for Component-Based Systems". En CONCUR 2008 - Concurrency Theory, 508–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85361-9_39.
Texto completoSchmidt, Heinz W. y Ralf H. Reussner. "Generating Adapters for Concurrent Component Protocol Synchronisation". En Formal Methods for Open Object-Based Distributed Systems V, 213–29. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-0-387-35496-5_15.
Texto completoHabte, Bedilu y Udo F. Meißner. "Development of Component Based Integrated Software System for the Design of Building Foundations". En Advances in Concurrent Engineering, 547–51. Boca Raton: CRC Press, 2023. http://dx.doi.org/10.1201/9781003423508-73.
Texto completoZernadji, Tarek, Raida Elmansouri y Allaoua Chaoui. "An Approach to Formal Specification of Component-Based Software". En Handbook of Research on E-Services in the Public Sector, 34–42. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61520-789-3.ch004.
Texto completoLu, Jing, Weiru Chen, Osei Adjei y Malcolm Keech. "Sequential Patterns Postprocessing for Structural Relation Patterns Mining". En Business Information Systems, 787–806. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-61520-969-9.ch049.
Texto completoBarrouillet, Pierre y Valérie Camos. "The Time-Based Resource-Sharing Model of Working Memory". En Working Memory, 85–115. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198842286.003.0004.
Texto completoActas de conferencias sobre el tema "Concurrent Component-Based Systems"
Lau, Kung-Kiu y Ioannis Ntalamagkas. "Component-Based Construction of Concurrent Systems with Active Components". En 2009 35th Euromicro Conference on Software Engineering and Advanced Applications. IEEE, 2009. http://dx.doi.org/10.1109/seaa.2009.45.
Texto completoBajunaid, Noor y Daniel A. Menasce. "Analytic Models of Checkpointing for Concurrent Component-Based Software Systems". En ICPE '17: ACM/SPEC International Conference on Performance Engineering. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3030207.3030209.
Texto completoKong, Byeong Yong, Jooseung Lee y In-Cheol Park. "A Low-Latency Multi-Touch Detector Based on Concurrent Processing of Redesigned Overlap Split and Connected Component Analysis". En 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 2020. http://dx.doi.org/10.1109/iscas45731.2020.9180986.
Texto completoFoong, Shaohui, Xianmin Chen y Kok-Meng Lee. "Optimized Distributed Field-Based Sensing for Control of Voice Coil Motor". En ASME 2011 Dynamic Systems and Control Conference and Bath/ASME Symposium on Fluid Power and Motion Control. ASMEDC, 2011. http://dx.doi.org/10.1115/dscc2011-5999.
Texto completoFlores, Rogelio, C. Greg Jensen y Jon Shelley. "A Web Enabled Process for Accessing Customized Parametric Designs". En ASME 2002 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/detc2002/dac-34078.
Texto completoGoodwin, Jesse, Kathryn Kelly, Melissa Foley, Christopher Saldana, Thomas Kurfess y Kyle Saleeby. "Positioning Accuracy in a Concurrent Robot-CNC Hybrid Manufacturing System". En ASME 2024 19th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2024. http://dx.doi.org/10.1115/msec2024-121212.
Texto completoSellgren, Ulf y Cecilia Hakelius. "A Survey of PDM Implementation Projects in Selected Swedish Industries". En ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/eim-1132.
Texto completoMazzara, Bill y Issak Davidovich. "Integrating Functional and Component-Level Threat Analyses in Automotive Systems: A Holistic Approach to Risk Assessment". En WCX SAE World Congress Experience. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2024. http://dx.doi.org/10.4271/2024-01-2797.
Texto completoJadaan, Osama M., Lynn M. Powers y John P. Gyekenyesi. "Creep Life Prediction of Ceramic Components Subjected to Transient Tensile and Compressive Stress States". En ASME 1997 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/97-gt-319.
Texto completoLee, David J., Soyoung S. Cha y Narayanan Ramachandran. "Three-Dimensional High-Resolution Optical/X-Ray Stereoscopic Tracking Velocimetry". En ASME 2004 International Mechanical Engineering Congress and Exposition. ASMEDC, 2004. http://dx.doi.org/10.1115/imece2004-62450.
Texto completoInformes sobre el tema "Concurrent Component-Based Systems"
Yip, Eugene y Gerald Lüttgen. Heterogeneous Specification of Spacecraft Software. Otto-Friedrich-Universität, 2024. http://dx.doi.org/10.20378/irb-97634.
Texto completo