標(biāo)題: Titlebook: Software Engineering for Resilient Systems; 6th International Wo István Majzik,Marco Vieira Conference proceedings 2014 The Editor(s) (if a [打印本頁] 作者: 技巧 時(shí)間: 2025-3-21 17:20
書目名稱Software Engineering for Resilient Systems影響因子(影響力)
書目名稱Software Engineering for Resilient Systems影響因子(影響力)學(xué)科排名
書目名稱Software Engineering for Resilient Systems網(wǎng)絡(luò)公開度
書目名稱Software Engineering for Resilient Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Engineering for Resilient Systems被引頻次
書目名稱Software Engineering for Resilient Systems被引頻次學(xué)科排名
書目名稱Software Engineering for Resilient Systems年度引用
書目名稱Software Engineering for Resilient Systems年度引用學(xué)科排名
書目名稱Software Engineering for Resilient Systems讀者反饋
書目名稱Software Engineering for Resilient Systems讀者反饋學(xué)科排名
作者: 微粒 時(shí)間: 2025-3-21 23:03 作者: 辮子帶來幫助 時(shí)間: 2025-3-22 03:08 作者: fetter 時(shí)間: 2025-3-22 07:17 作者: Obscure 時(shí)間: 2025-3-22 12:05
Davide Di Ruscio,Ivano Malavolta,Patrizio Pelliccione作者: 使習(xí)慣于 時(shí)間: 2025-3-22 16:40 作者: Benign 時(shí)間: 2025-3-22 17:11
Linas Laibinis,Dmitry Klionskiy,Elena Troubitsyna,Anatoly Dorokhov,Johan Lilius,Mikhail Kupriyanov作者: Feckless 時(shí)間: 2025-3-22 21:33
Andrea H?ller,Nermin Kajtazovic,Christopher Preschern,Christian Kreiner作者: LUT 時(shí)間: 2025-3-23 02:06
Pontus Bostr?m,Mikko Heikkil?,Mikko Huova,Marina Waldén,Matti Linjama作者: galley 時(shí)間: 2025-3-23 06:42
Alexei Iliasov,Roberto Palacin,Alexander Romanovsky作者: Foreshadow 時(shí)間: 2025-3-23 10:44
Arda Ahmet ünsal,G?rkem Sazara,Bar?? Aktemur,Hasan S?zer作者: 沉默 時(shí)間: 2025-3-23 14:00 作者: VEST 時(shí)間: 2025-3-23 22:01
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/870853.jpg作者: 易怒 時(shí)間: 2025-3-23 22:55
https://doi.org/10.1007/978-3-319-12241-0adaptive systems; dependability; evolution; failure modeling; formal modeling; monitoring; resilience; soft作者: crease 時(shí)間: 2025-3-24 05:34
978-3-319-12240-3The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl作者: CHURL 時(shí)間: 2025-3-24 07:44 作者: Ambiguous 時(shí)間: 2025-3-24 10:51
Conference proceedings 2014udapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.作者: 獨(dú)白 時(shí)間: 2025-3-24 16:56
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systemsandard tools. Finite domain constraint solving is used to evaluate system alternatives from a dependability point of view. The systematic generation of event detection rules for runtime diagnosis is also supported. A real life example from the banking domain is used to demonstrate the approach.作者: 不能強(qiáng)迫我 時(shí)間: 2025-3-24 22:26
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stageso hardware faults in redundant designs by applying a model checker and fault injection modelling. The method is capable of automatically identifying all input and fault combinations that remain undetected by a voting system. This leads to a better understanding of algorithm-specific resilience characteristics.作者: 獸皮 時(shí)間: 2025-3-25 01:02
On Applying FMEA to SOAs: A Proposal and Open Challengesto SOA environments. A preliminary technique named FMEA4SOA is proposed and a case study is used to illustrate its usage. This process raises many challenges that must be overcome for the FMEA4SOA to become usable and effective V&V in SOA environments. The paper discusses these challenges while proposing a research roadmap.作者: Femine 時(shí)間: 2025-3-25 06:08
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systemsication concerns of resilient systems, a three components model is designed, the latter explicitly defining degradation and compensation models to capture the resiliency routine. Finally, to conclude the models definition, a handful number of LTL properties are identified and discussed.作者: SEVER 時(shí)間: 2025-3-25 09:03
Conference proceedings 2014udapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verificatio作者: Magisterial 時(shí)間: 2025-3-25 12:09 作者: 精密 時(shí)間: 2025-3-25 18:59 作者: SOW 時(shí)間: 2025-3-25 23:13 作者: 饑荒 時(shí)間: 2025-3-26 01:47 作者: colony 時(shí)間: 2025-3-26 04:49
Automatic Generation of Description Files for Highly Available Servicesntegrators who are expected build reliable systems from none reliable components. The service availability forum (SAForum) defines open standards for building and maintaining HA systems using the SAForum middleware. Nevertheless this task remains tedious and error prone due to the complexity of this作者: Glutinous 時(shí)間: 2025-3-26 09:59
Modelling Resilience of Data Processing Capabilities of CPSem designers usually rely on the architectures with the dynamically scaling degree of parallelism. However, to guarantee resilience of data processing, we should also ensure system fault tolerance, i.e., integrate the mechanisms for dynamic reconfiguration. In this paper, we present an approach to f作者: 共棲 時(shí)間: 2025-3-26 14:05
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stagesase the efficiency of these redundancy strategies we propose to exploit the inherent fault masking properties of software-algorithms at application-level. An important step in early development stages is to choose from a class of algorithms that achieve the same goal in different ways, one or more t作者: 吸引人的花招 時(shí)間: 2025-3-26 18:21 作者: 身體萌芽 時(shí)間: 2025-3-27 00:53 作者: Impugn 時(shí)間: 2025-3-27 01:45 作者: Resection 時(shí)間: 2025-3-27 06:55 作者: pericardium 時(shí)間: 2025-3-27 10:03
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systemscation process. To increase the amount of information available from a system, software instrumentation has been previously used in these domains, therefore solving the problem of observability. In addition, as this kind of systems tends to be increasingly involved in safety critical and dependable 作者: enchant 時(shí)間: 2025-3-27 17:30 作者: 武器 時(shí)間: 2025-3-27 17:48 作者: Duodenitis 時(shí)間: 2025-3-28 00:57
0302-9743 ully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.978-3-319-12240-3978-3-319-12241-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 挑剔小責(zé) 時(shí)間: 2025-3-28 06:09
Community Resilience Engineering: Reflections and Preliminary Contributions to extensive failures that are known to exacerbate the consequences of natural and human-induced crises. As a consequence, we experience today an urgent need to respond to the challenges of community resilience engineering. This problem, some reflections, and preliminary prototypical contributions constitute the topics of the present article.作者: 分發(fā) 時(shí)間: 2025-3-28 06:43
Automatic Generation of Description Files for Highly Available Servicesated generation of the middleware configuration. In order to achieve this we propose an approach based on a new domain specific language extending the UML component diagrams, along with a corresponding set of model transformations. We also present our prototype implementation and a case study as a proof of concept.作者: Defiance 時(shí)間: 2025-3-28 10:31 作者: 技術(shù) 時(shí)間: 2025-3-28 16:53
Simulation Testing and Model Checking: A Case Study Comparing these Approaches checking tools, such as Java Pathfinder. We want to compare the strengths and weaknesses of the two approaches as represented by the . and the Java Pathfinder. In this paper, the results of the comparison of these two testing methods on a case study using the implementation of the FTP protocol are discussed.作者: GRILL 時(shí)間: 2025-3-28 20:45 作者: acetylcholine 時(shí)間: 2025-3-28 23:44 作者: 不能仁慈 時(shí)間: 2025-3-29 04:53 作者: ALERT 時(shí)間: 2025-3-29 07:27
Analyzing MEG Data with Granger Causality: Promises and Pitfallsceed to comment on recent results of applying Granger causality to MEG data. Recognizing that Granger causality is frequently used to examine neural activity recorded during stimulus processing, we point out the adverse effects of the inevitable trial-to-trial variability of stimulus-evoked response作者: Inveterate 時(shí)間: 2025-3-29 13:44 作者: 災(zāi)禍 時(shí)間: 2025-3-29 19:34
Low-Power Zero-IF Receiver Design,enna. The LNA can be removed, since the transmission distance is small in a body area network. The design of a mixer-first receiver is analyzed in depth in this chapter. A closed-form model is derived describing the transducer power gain and noise figure of the passive mixer. Additionally, an automa作者: 潰爛 時(shí)間: 2025-3-29 20:47
Handling Safety Critical Requirements in System Engineering Using the B Formal Methods features, at an affordable price, and on time. Building critical system involves stringent management of safety critical requirements. In particular, the engineering process must guarantee that resulting technical requirements do not jeopardize customer safety needs.作者: conifer 時(shí)間: 2025-3-30 02:38 作者: 門閂 時(shí)間: 2025-3-30 06:10
Book‘‘‘‘‘‘‘‘ 2023ding ethnography, case study and discourse analysis, and references the work of relevant theorists, including Bourdieu and Foucault. This book aims to provide a critical, updated and astute analysis of the strengths and challenges of the Finnish education system.?.作者: Longitude 時(shí)間: 2025-3-30 10:39 作者: hemoglobin 時(shí)間: 2025-3-30 13:02 作者: 徹底明白 時(shí)間: 2025-3-30 19:08
Kommunalpolitik in Brandenburg bildeten sich heraus, nach denen die Herrschaft des Rats die anf?ngliche Mitbestimmung der Bürgergemeinde abl?ste. Die Ratsherrenstellen wechselten innerhalb weniger Familien. Bald kam es deshalb zu Auseinandersetzungen mit den Zünften.作者: 主動 時(shí)間: 2025-3-30 21:13
Die Parteien und Parteiensysteme der Bundesl?nder — Eine Einführungundesl?nderübergreifende Beitr?ge mit den Wechselwirkungen zwischen Bundes- und Landesebene, und eine Abhandlung analysiert in vergleichender Absicht die einzelnen Landesparteiensysteme unter dem Aspekt der Koalitionsbildung.作者: Perennial長期的 時(shí)間: 2025-3-31 03:56
Zum Problem der Mehrdeutigkeit in der qualitativen Forschung,, dass es einen Sinn des Sozialen gibt, der sich vor der Folie gedankenexperimenteller Sinnkonstellationen aus den vorliegenden Daten rekonstruieren l?sst. So findet jede Methode ihre Einheit ?hinter“ den Dingen. Durch dieses Vorgehen wird theoretische und methodische Kontrolle hergestellt. Mehrdeut作者: 厚臉皮 時(shí)間: 2025-3-31 07:02
Front Matterituations, there is more to it than problems, risks and dangers. A company opens up new possibilities by positioning itself actively and early, consciously grasping these factors and bearing them in mind when planning its future. Doing so it distinguishes itself positively from its competitors and t作者: 成份 時(shí)間: 2025-3-31 11:36
