標(biāo)題: Titlebook: Software Engineering for Resilient Systems; Fourth International Paris Avgeriou Conference proceedings 2012 Springer-Verlag Berlin Heidelbe [打印本頁(yè)] 作者: Iodine 時(shí)間: 2025-3-21 17:57
書目名稱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é)科排名
作者: 免除責(zé)任 時(shí)間: 2025-3-21 23:22 作者: Muscularis 時(shí)間: 2025-3-22 00:24
Software Engineering for Resilient Systems978-3-642-33176-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 罐里有戒指 時(shí)間: 2025-3-22 04:55
Conference proceedings 2012n Pisa, Italy, in September 2012. .The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.作者: creatine-kinase 時(shí)間: 2025-3-22 10:21 作者: Defense 時(shí)間: 2025-3-22 16:02 作者: 心神不寧 時(shí)間: 2025-3-22 18:30 作者: 老巫婆 時(shí)間: 2025-3-23 01:02
FAS: Introducing a Service for Avoiding Faults in Composite Servicesrespect to the monitoring frequency of FAS for different partner service availabilities. We also provide empirical results regarding these metrics based on several tests we performed using the Amazon Elastic Compute Cloud.作者: 抱狗不敢前 時(shí)間: 2025-3-23 03:26 作者: Banister 時(shí)間: 2025-3-23 08:32 作者: embolus 時(shí)間: 2025-3-23 13:07
Brahim Hamid,Jacob Geisel,Adel Ziani,David Gonzalez作者: 較早 時(shí)間: 2025-3-23 14:06 作者: craving 時(shí)間: 2025-3-23 22:07 作者: overwrought 時(shí)間: 2025-3-24 02:05 作者: conference 時(shí)間: 2025-3-24 03:42 作者: PAC 時(shí)間: 2025-3-24 09:58 作者: 結(jié)合 時(shí)間: 2025-3-24 11:32 作者: Obstacle 時(shí)間: 2025-3-24 15:38
A Case Study in Formal Development of a Fault Tolerant Multi-robotic Systemve the system goals. While designing multi-robotic systems, we should ensure that these goals remain achievable despite robot failures, i.e., guarantee system fault tolerance. However, designing the fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we 作者: 癡呆 時(shí)間: 2025-3-24 20:47
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approacherface and its related supporting software must be consistent with the criticality of the functions to be controlled. The approach proposed in this paper aims at describing how fault prevention and fault tolerance techniques can be combined to address this challenge. Following the ARINC 661 standard作者: deficiency 時(shí)間: 2025-3-25 03:03 作者: Cpr951 時(shí)間: 2025-3-25 07:23
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domainftware engineering on solid theory and on proven principles. We took such an approach towards software engineering process modeling for embedded system applications with security and dependability requirements, focusing on the problem of integrating safety during the process design to clarify assess作者: Conquest 時(shí)間: 2025-3-25 09:13 作者: IRK 時(shí)間: 2025-3-25 14:05
Assume-Guarantee Testing of Evolving Software Product Line Architectures. In this paper, we propose a novel assume-guarantee testing approach as a solution to the following research question: . The underlying idea is to retest only some of the products that conform to the software product line architecture and to infer, using assume-guarantee reasoning, the correctness 作者: Surgeon 時(shí)間: 2025-3-25 16:50 作者: STYX 時(shí)間: 2025-3-25 21:29
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling clients. The model takes into account a time-probabilistic relationship between different servicing outcomes and failures modes. We put forward a set of measures for estimating dependability of service provisioning from the client’s viewpoint and present analytical models to be used for the assessm作者: 大量殺死 時(shí)間: 2025-3-26 04:01 作者: Lasting 時(shí)間: 2025-3-26 07:36 作者: Longitude 時(shí)間: 2025-3-26 10:54 作者: ANIM 時(shí)間: 2025-3-26 13:50 作者: floodgate 時(shí)間: 2025-3-26 18:14
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogrammingd, while the adoption of compile-time metaprogramming allows configuring the pattern deployment within the original client source based on application requirements. We examine key exception handling scenarios and we implement them as configurable and reusable pattern libraries in an existing meta-language.作者: 男生如果明白 時(shí)間: 2025-3-26 21:39 作者: SYN 時(shí)間: 2025-3-27 04:39
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domainituations likely to warrant further investigation as part of the field study. The main contribution of this paper is a set of detailed examples that illustrate how we used PVS during the field study, and how the tool led to insights.作者: Graduated 時(shí)間: 2025-3-27 08:36
Conference proceedings 2012n Pisa, Italy, in September 2012. .The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal作者: 不在灌木叢中 時(shí)間: 2025-3-27 11:42 作者: phytochemicals 時(shí)間: 2025-3-27 14:49 作者: sterilization 時(shí)間: 2025-3-27 21:12
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain the clear separation between the development process, the system and their properties. Subsequently, the safety property model of the process is defined. The feasibility of the approach is evaluated with a case study from the railway domain.作者: Monocle 時(shí)間: 2025-3-28 00:54 作者: 未成熟 時(shí)間: 2025-3-28 04:39
Assume-Guarantee Testing of Evolving Software Product Line Architecturestest only some of the products that conform to the software product line architecture and to infer, using assume-guarantee reasoning, the correctness of the other products. Assume-guarantee reasoning moreover permits the retesting of only those components that are affected by the changes.作者: 糾纏,纏繞 時(shí)間: 2025-3-28 08:00
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling of measures for estimating dependability of service provisioning from the client’s viewpoint and present analytical models to be used for the assessment of the mean servicing and waiting times depending on client’s timeout settings.作者: 物質(zhì) 時(shí)間: 2025-3-28 12:35
0302-9743 ere carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.978-3-642-33175-6978-3-642-33176-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 上下倒置 時(shí)間: 2025-3-28 17:36
Quality of Life and Well-Being,related quality of life (HRQoL), which has become well-established as an essential patient reported outcome measure (PROM). A related concept, which is garnering increasing interest, is subjective well-being. Despite some commonalities, HRQoL and well-being should be treated as separate concepts; th作者: 注入 時(shí)間: 2025-3-28 21:21 作者: Costume 時(shí)間: 2025-3-28 23:10
Model-Based Safety Analysis for Vehicle Guidance Systemsans of model checking. The approach is accompanied by a large-scale evaluation: The resulting DFTs with up?to 300 elements constitute larger-than-before DFTs, yet the concepts and architectures can be evaluated in a matter of minutes.作者: 包庇 時(shí)間: 2025-3-29 04:50 作者: 圖表證明 時(shí)間: 2025-3-29 11:08
Book 2014 of timbers on its fire behavior are discussed. The main practical methods of fire protection of new and ancient timber buildings and structures to increase its fire resistance are considered. The book should be useful for a wide range of readers: chemists, physicists, material scientists, architects, engineers, constructors and restorers..作者: 粗糙濫制 時(shí)間: 2025-3-29 12:05 作者: 遭遇 時(shí)間: 2025-3-29 19:34
Martin Albrecht,Jens Rohde,Michael Wagnererapie) angewandt wurden, ergaben sogar 40–50%ige halbj?hrige Abstinenzraten (nach einem halben Jahr ist frühestens der Langzeiterfolg abzusch?tzen). Von den Teilnehmern verhaltenstherapeutisch orientierter Entw?hnungsbehandlungen, die in der Regel ambulant und in Gruppen durchgeführt werden, werden作者: 消滅 時(shí)間: 2025-3-29 21:32
Kommunalpolitik im Freistaat Sachsente sich als hochkomplexes Gesellschaftssystem. Trotz Meinungsfreiheit, Parteienvielfalt und umfangreicher Beteiligungsm?glichkeiten wurden erhebliche institutionelle und rechtliche Beschr?nkungen sowie ein Reformbedarf auch alter bundesdeutscher Rahmenbedingungen augenscheinlich. Die Bürger sahen si作者: Conclave 時(shí)間: 2025-3-30 01:19 作者: tinnitus 時(shí)間: 2025-3-30 04:25
Book 2014en, die von Prinzip her gegens?tzliche Rationalit?ten abbilden. Es handelt sich dabei um gesellschaftliche Strukturen der Reduktion von Kontingenz und der Reduktion von Ambivalenz. In einem analytischen Sinne rücken dabei die Institutionen von Profession und Religion in den Fokus.作者: BIBLE 時(shí)間: 2025-3-30 09:20
Preparation of Biotinylated Lectins and Application in Microtiter Plate Assays and Western Blottingvarious magazines and journals. 3) Errata to both first and second printing (most have been corrected in the second edition as of this date). 4) Solutions to selected problems. 5) Additional supplementary problems.978-3-662-03848-2作者: PACK 時(shí)間: 2025-3-30 14:42
Oligarchic Rule in the Americas, South to Northemocracy advances; and that oligarchic rule in Latin America and the United States can be addressed and compared in the same terms. It also claims that the political development of the Americas, North and South, are far more similar than commonly supposed, once the inquiry is focussed on the politic
