Relevant bibliographies by topics / Concurrent Component-Based Systems

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers
  5. Reports

Academic literature on the topic 'Concurrent Component-Based Systems'

Author: Grafiati
Published: 14 December 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Concurrent Component-Based Systems"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kapová, 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Li, 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 text
APA, Harvard, Vancouver, ISO, and other styles
4

Ali, 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.

Full text
Abstract:
Software reliability is prioritised as the most critical quality attribute. Reliability prediction models participate in the prevention of software failures which can cause vital events and disastrous consequences in safety-critical applications or even in businesses. Predicting reliability during design allows software developers to avoid potential design problems, which can otherwise result in reconstructing an entire system when discovered at later stages of the software development life-cycle. Several reliability models have been built to predict reliability during software development. Ho
APA, Harvard, Vancouver, ISO, and other styles
5

Bajunaid, 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 text
APA, Harvard, Vancouver, ISO, and other styles
6

Sirjani, 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.

Full text
Abstract:
Rebeca is an actor­based language for modeling concurrent and distributed systems as a set of reactive objects which communicate via asynchronous message passing. Rebeca is extended to support synchronous communication, and at the same time components are introduced to encapsulate the tightly coupled reactive objects which may communicate by synchronous messages. This provide us a language for modeling globally asynchronous and locally synchronous systems. Components interact only by asynchronous messages. This feature and also the event-driven nature of the computation are exploited to introd
APA, Harvard, Vancouver, ISO, and other styles
7

Pham, 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 text
APA, Harvard, Vancouver, ISO, and other styles
8

Autili, 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Aoumeur, 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chen, 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 text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Concurrent Component-Based Systems"

1

Farhat, Salman. "Safe Dynamic Reconfiguration of Applications with Features." Electronic Thesis or Diss., Université de Lille (2022-....), 2024. http://www.theses.fr/2024ULILB014.

Full text
Abstract:
Les applications déployées sur des environnement de type Cloud ou sur des systèmes cyber-physiques nécessitent une reconfiguration fréquente pendant leur exécution pour s'adapter à l'évolution des besoins et des exigences, ce qui souligne l'importance des capacités de reconfiguration dynamique. En outre, ces environnements peuvent étendre et modifier leurs services en cours d'exécution, ce qui nécessite une approche compositionnelle pour permettre la modification des configurations. Pour gérer la variabilité de l'architecture des grands systèmes, les modèles de caractéristiques sont largement
APA, Harvard, Vancouver, ISO, and other styles
2

"A Distributed Component-based Software Framework for Laboratory Automation Systems." Master's thesis, 2012. http://hdl.handle.net/2286/R.I.15945.

Full text
Abstract:
abstract: Laboratory automation systems have seen a lot of technological advances in recent times. As a result, the software that is written for them are becoming increasingly sophisticated. Existing software architectures and standards are targeted to a wider domain of software development and need to be customized in order to use them for developing software for laboratory automation systems. This thesis proposes an architecture that is based on existing software architectural paradigms and is specifically tailored to developing software for a laboratory automation system. The architecture i
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Concurrent Component-Based Systems"

1

Pujari, Niharika, Abhishek Ray, and Jagannath Singh. "Slicing Based on Web Scrapped Concurrent Component." In Advances in Intelligent Systems and Computing. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5400-1_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Autili, Marco, Michele Flammini, Paola Inverardi, Alfredo Navarra, and Massimo Tivoli. "Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems." In Software Architecture. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11966104_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rodrigues, Genaína, David Rosenblum, and Sebastian Uchitel. "Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems." In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31984-9_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Buchs, Didier, David Hurzeler, and Sandro Costa. "Component Based Dependable System Modelling for Easier Verification." In Concurrency in Dependable Computing. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4757-3573-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bliudze, Simon, and Joseph Sifakis. "A Notion of Glue Expressiveness for Component-Based Systems." In CONCUR 2008 - Concurrency Theory. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85361-9_39.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schmidt, Heinz W., and Ralf H. Reussner. "Generating Adapters for Concurrent Component Protocol Synchronisation." In Formal Methods for Open Object-Based Distributed Systems V. Springer US, 2002. http://dx.doi.org/10.1007/978-0-387-35496-5_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Habte, Bedilu, and Udo F. Meißner. "Development of Component Based Integrated Software System for the Design of Building Foundations." In Advances in Concurrent Engineering. CRC Press, 2023. http://dx.doi.org/10.1201/9781003423508-73.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zernadji, Tarek, Raida Elmansouri, and Allaoua Chaoui. "An Approach to Formal Specification of Component-Based Software." In Handbook of Research on E-Services in the Public Sector. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61520-789-3.ch004.

Full text
Abstract:
Current research on software reuse in Component Based Software Engineering (CBSE) covers a variety of fields, including component design, component specification, component composition, component-based framework. CBSE is quickly becoming a mainstream approach to software development and most researchers are hoping that it will be solutions to all the problems that led to software crisis. The software engineering techniques specific to this discipline, in phases such as modeling, verification or validation of component based software systems still insufficient and need more research efforts. EC
APA, Harvard, Vancouver, ISO, and other styles
9

Amaya García Andrés, Keller David, and May David. "OpenTransputer: Reinventing a Parallel Machine from the Past." In Concurrent Systems Engineering Series. IOS Press, 2018. https://doi.org/10.3233/978-1-61499-886-0-7.

Full text
Abstract:
The OpenTransputer is a new implementation of the Transputer first launched by Inmos in 1985. It supports the same instruction set, but uses a different microarchitecture that takes advantage of today's manufacturing technology; this results in a reduced cycle count for many of the instructions. Our new Transputer includes support for channels that connect to input-output ports, enabling direct connection to external devices such as sensors, actuators and standard communication interfaces. We have also generalised the channel communications with the support of virtual channels and the design o
APA, Harvard, Vancouver, ISO, and other styles
10

Abramsky Samson. "Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures." In Concurrent Systems Engineering Series. IOS Press, 2008. https://doi.org/10.3233/978-1-58603-907-3-1.

Full text
Abstract:
We shall develop a simple and natural formalization of the idea of client-server architectures, and, based on this, define a notion of orthogonality between clients and servers, which embodies strong correctness properties, and exposes the rich logical structure inherent in such systems. Then we generalize from pure clients and servers to components, which provide some services to the environment, and require others from it. We identify the key notion of composition of such components, in which some of the services required by one component are supplied by another. This allows complex systems
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Concurrent Component-Based Systems"

1

Lau, Kung-Kiu, and Ioannis Ntalamagkas. "Component-Based Construction of Concurrent Systems with Active Components." In 2009 35th Euromicro Conference on Software Engineering and Advanced Applications. IEEE, 2009. http://dx.doi.org/10.1109/seaa.2009.45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bajunaid, Noor, and Daniel A. Menasce. "Analytic Models of Checkpointing for Concurrent Component-Based Software Systems." In ICPE '17: ACM/SPEC International Conference on Performance Engineering. ACM, 2017. http://dx.doi.org/10.1145/3030207.3030209.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kong, Byeong Yong, Jooseung Lee, and In-Cheol Park. "A Low-Latency Multi-Touch Detector Based on Concurrent Processing of Redesigned Overlap Split and Connected Component Analysis." In 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 2020. http://dx.doi.org/10.1109/iscas45731.2020.9180986.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Foong, Shaohui, Xianmin Chen, and Kok-Meng Lee. "Optimized Distributed Field-Based Sensing for Control of Voice Coil Motor." In 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.

Full text
Abstract:
A magnetic field-based sensing system utilizing statistically optimized concurrent multi-sensor outputs for non-contact precise field-position association is presented. The rationale and principle of capitalizing on simultaneous spatial field measurements to induce unique correspondence between field and position to achieve accurate translational motion over large travel distances for feedback control is illustrated using a single-source-multi-sensor configuration. Principal component analysis (PCA) is used as a pseudo filter to optimally reduce the dimension of the multi-sensor output space f
APA, Harvard, Vancouver, ISO, and other styles
5

Flores, Rogelio, C. Greg Jensen, and Jon Shelley. "A Web Enabled Process for Accessing Customized Parametric Designs." In 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.

Full text
Abstract:
Parametric design facilitates mass customization, concurrent engineering, optimization, and other product development integration processes used during preliminary and detailed design stages. Automated methods for regenerating and accessing parametric models can significantly reduce the time-to-market of new products. Applications that automate this process have inherent limitations based on the available features in commercial CAD systems. New technologies such as the component technology, used in conjunction with parametric and Internet-based design can eliminate current limitations of CAD a
APA, Harvard, Vancouver, ISO, and other styles
6

Goodwin, Jesse, Kathryn Kelly, Melissa Foley, Christopher Saldana, Thomas Kurfess, and Kyle Saleeby. "Positioning Accuracy in a Concurrent Robot-CNC Hybrid Manufacturing System." In ASME 2024 19th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2024. http://dx.doi.org/10.1115/msec2024-121212.

Full text
Abstract:
Abstract Additive manufacturing (AM) has gained notoriety for offering advantages over traditional manufacturing methods, such as increased design complexity and flexibility. However, it has not found widespread use beyond rapid prototyping. One hindrance to the acceptance of AM processes in industry is the time and cost of fabrication per component. While metal AM by itself can be inexpensive, extra manufacturing steps in the form of subtractive manufacturing (SM) may need to be performed to reach final part tolerances, leading to hybrid additive-subtractive manufacturing (HASM) of a part, wh
APA, Harvard, Vancouver, ISO, and other styles
7

Sellgren, Ulf, and Cecilia Hakelius. "A Survey of PDM Implementation Projects in Selected Swedish Industries." In 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.

Full text
Abstract:
Abstract Technology and engineering might be characterized as becoming more knowledge-intensive. A huge amount of data is used and produced in most product development projects. Increasing competition requires shorter reaction time to customer demands and a higher level of innovation. Concurrent Engineering (CE) is a strategic response to competition. It has proved to be a powerful approach to integrating engineering activities in product development. However, integration and parallel activities, that is the essence of CE, add complexity to the process. Consequently, information management is
APA, Harvard, Vancouver, ISO, and other styles
8

Mazzara, Bill, and Issak Davidovich. "Integrating Functional and Component-Level Threat Analyses in Automotive Systems: A Holistic Approach to Risk Assessment." In WCX SAE World Congress Experience. SAE International, 2024. http://dx.doi.org/10.4271/2024-01-2797.

Full text
Abstract:
<div class="section abstract"><div class="htmlview paragraph">Threat Analysis Risk Assessment (TARA) for automotive systems is standardized in ISO/SAE 21434. Traditionally these analyses have been bifurcated into either analysis focused on system functionality identifying impacts to assets based on the mission of the product, or analysis targeting vulnerabilities associated with the hardware and software of interfaces selected to be a part of a product. Furthermore, in the age of Software Defined Vehicles, the challenges to decouple use cases and the software that implements such f
APA, Harvard, Vancouver, ISO, and other styles
9

Jadaan, Osama M., Lynn M. Powers, and John P. Gyekenyesi. "Creep Life Prediction of Ceramic Components Subjected to Transient Tensile and Compressive Stress States." In 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.

Full text
Abstract:
The desirable properties of ceramics at high temperatures have generated interest in their use for structural applications such as in advanced turbine systems. Some of these ceramic components, such as vanes and rotors, are subjected to concurrent tensile and compressive stress fields. Design lives for such systems can exceed 10,000 hours. Such long life requirements necessitate subjecting the components to relatively low stresses. The combination of high temperatures and low stresses typically places failure for monolithic ceramics in the creep regime. The objective of this paper is to presen
APA, Harvard, Vancouver, ISO, and other styles
10

Lee, David J., Soyoung S. Cha, and Narayanan Ramachandran. "Three-Dimensional High-Resolution Optical/X-Ray Stereoscopic Tracking Velocimetry." In ASME 2004 International Mechanical Engineering Congress and Exposition. ASMEDC, 2004. http://dx.doi.org/10.1115/imece2004-62450.

Full text
Abstract:
Measurement of three-dimensional (3-D) three-component velocity fields is of great importance in a variety of research and industrial applications for understanding materials processing, fluid physics, and strain/displacement measurements. The 3-D experiments in these fields most likely inhibit the use of conventional techniques, which are based only on planar and optically-transparent-field observation. Here, we briefly review the current status of 3-D diagnostics for motion/velocity detection, for both optical and x-ray systems. As an initial step for providing 3-D capabilities, we have deve
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Concurrent Component-Based Systems"

1

Yip, Eugene, and Gerald Lüttgen. Heterogeneous Specification of Spacecraft Software. Otto-Friedrich-Universität, 2024. http://dx.doi.org/10.20378/irb-97634.

Full text
Abstract:
The operational behaviour of a reactive system is commonly specified or modelled as concurrent state machines, where each machine models the possible states or modes of a software component and its interactions with the environment. However, state machines can quickly become verbose when execution constraints between concurrent states need to be modelled. Alternatively, constraints could be modelled declaratively as special edges between states. Such a heterogeneous modelling approach is employed by Virtual Satellite (VirSat), a model-based systems engineering tool from the German Aerospace Ce
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Concurrent Component-Based Systems' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography