Gotowe bibliografie tematyczne / Concurrent Component-Based Systems

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Części książek
  4. Streszczenia konferencji
  5. Raporty organizacyjne

Gotowa bibliografia na temat „Concurrent Component-Based Systems”

Autor: Grafiati
Data publikacji: 14 grudnia 2024
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł 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.

Artykuły w czasopismach na temat "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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.

Części książek na temat "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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
<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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Concurrent Component-Based Systems” dla poszczególnych typów źródeł:
Artykuły w czasopismach
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii