標(biāo)題: Titlebook: Software Engineering for Resilient Systems; 5th International Wo Anatoliy Gorbenko,Alexander Romanovsky,Vyacheslav Conference proceedings [打印本頁] 作者: 尖酸好 時間: 2025-3-21 16:16
書目名稱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é)科排名
作者: CARE 時間: 2025-3-21 22:12
Formal Development and Quantitative Assessment of a Resilient Multi-robotic Systeme of robot failures and compare different reconfiguration strategies for selected architectures. We demonstrate our approach by a case study – development and assessment of a cleaning multi-robotic system.作者: CROAK 時間: 2025-3-22 01:37
Preliminary Contributions Towards Auto-resilienceables scenarios in which resilience can be autonomously enhanced, e.g., through forms of social collaboration. This paves the way to future “auto-resilient” systems, namely systems able to reason and revise their own architectures and organisations so as to optimally guarantee identity persistence.作者: Water-Brash 時間: 2025-3-22 08:01 作者: Fraudulent 時間: 2025-3-22 11:33 作者: inchoate 時間: 2025-3-22 16:53 作者: 青春期 時間: 2025-3-22 17:39
Security-Informed Safety: If It’s Not Secure, It’s Not Safe”. Our approach is based on the use of structured safety cases and we discuss the impact that security might have on an existing safety case. We also outline a method we have been developing for assessing the security risks associated with an existing safety system such as a large-scale critical infrastructure.作者: 樂意 時間: 2025-3-22 22:54 作者: dry-eye 時間: 2025-3-23 02:14 作者: 鍍金 時間: 2025-3-23 08:08
Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programssed on well-known algorithms for interval and points-to analysis, which are extended with the developed algorithms for analysis of parallel execution. We show efficiency of our approach by evaluating it on a set of artificial and real-world multithreaded C/C++ programs based on Pthreads.作者: Decrepit 時間: 2025-3-23 10:37
0302-9743 carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.978-3-642-40893-9978-3-642-40894-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: obeisance 時間: 2025-3-23 15:04 作者: 商談 時間: 2025-3-23 19:37 作者: Increment 時間: 2025-3-24 00:40 作者: 過濾 時間: 2025-3-24 04:54 作者: ACE-inhibitor 時間: 2025-3-24 07:22
Security-Informed Safety: If It’s Not Secure, It’s Not Safee beginning to argue that if it’s not secure, it’s not safe. In this paper we present some of the work we have been doing on “security-informed safety”. Our approach is based on the use of structured safety cases and we discuss the impact that security might have on an existing safety case. We also 作者: Peristalsis 時間: 2025-3-24 12:20 作者: 健談 時間: 2025-3-24 15:06
Towards Agile Development of Critical Softwareritical software development projects. The study has been performed within the scope of our research targeting at providing critical software developers with a solution allowing to incorporate agile practices into software development process while still being conformant with the software assurance 作者: Glycogen 時間: 2025-3-24 22:52 作者: obligation 時間: 2025-3-25 00:52
Optimizing Verification of Structurally Evolving Algebraic Petri Netsimed at progressively reaching all the requested qualities (completeness, correctness etc.). Among the existing development methodologies the iterative and incremental one has been proved to be efficient for system development but lacks of support for an adequate verification process. When consideri作者: 討好女人 時間: 2025-3-25 03:21 作者: Slit-Lamp 時間: 2025-3-25 07:51
Synthesis of Resilient Choreographiesication of their interactions, namely a choreography. BPMN2 (Business Process Modeling Notation v2.0) provides a dedicated notation, called Choreography Diagrams, to define the global expected behavior between interacting participants. An interesting problem worth considering concerns choreography r作者: 愉快么 時間: 2025-3-25 13:22
Formal Development and Quantitative Assessment of a Resilient Multi-robotic Systemful modelling techniques to demonstrate system resilience. In this paper, resilience of a multi-robotic system is defined as the ability to achieve goals despite robot failures. We demonstrate how to rigorously specify and verify essential properties of resilience mechanisms of multi-robotic systems作者: 使痛苦 時間: 2025-3-25 17:52 作者: defile 時間: 2025-3-25 22:05 作者: Permanent 時間: 2025-3-26 01:22
Preliminary Contributions Towards Auto-resilienceid challenges, novel approaches must be devised so that identity robustness be guaranteed autonomously and with minimal overhead. This paper provides the elements of one such approach. First, building on top of previous results, we formulate a metric framework to compare specific aspects of the resi作者: paradigm 時間: 2025-3-26 05:57
A New Approach to Software Reliabilityy. It is assumed that defects in the software arise as a result of incoming and outcoming defect flows. Using obtained relations it is possible to predict the amount of identified and entered into the system defects and simulate the reliability of software systems taking into account the secondary d作者: 肥料 時間: 2025-3-26 10:03 作者: 諂媚于性 時間: 2025-3-26 16:03 作者: Hemiparesis 時間: 2025-3-26 17:12
Conference proceedings 2013iev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.作者: 碌碌之人 時間: 2025-3-26 20:57 作者: ARCH 時間: 2025-3-27 03:27 作者: 無價值 時間: 2025-3-27 08:52 作者: 沒有希望 時間: 2025-3-27 12:19 作者: 連系 時間: 2025-3-27 17:36 作者: 使糾纏 時間: 2025-3-27 20:13
Felicita Di Giandomenico,Alessandro Fantechi,Stefania Gnesi,Massimiliano Leone Itria作者: chemical-peel 時間: 2025-3-28 01:15 作者: 增長 時間: 2025-3-28 05:22
Synthesis of Resilient Choreographiesesis approach able to automatically generate, out of a BPMN2 choreography specification, the needed adaptation and coordination logic, and distribute it between the participants so to enforce the choreography. Our approach supports choreography evolution through adaptation to possible changes in the作者: Mundane 時間: 2025-3-28 09:47 作者: 明確 時間: 2025-3-28 12:15
Anatoliy Gorbenko,Alexander Romanovsky,Vyacheslav Fast track conference proceedings.Unique visibility.State of the art research作者: 蓋他為秘密 時間: 2025-3-28 16:23 作者: GRAIN 時間: 2025-3-28 19:30 作者: 討好女人 時間: 2025-3-29 02:00
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/870851.jpg作者: 造反,叛亂 時間: 2025-3-29 03:31
https://doi.org/10.1007/978-3-642-40894-6adaptive systems; evolution; formal modeling; software reliability; verification作者: HOWL 時間: 2025-3-29 08:13 作者: aesthetician 時間: 2025-3-29 13:05 作者: Trypsin 時間: 2025-3-29 19:29 作者: 獨行者 時間: 2025-3-29 20:54 作者: 軟弱 時間: 2025-3-30 00:00 作者: hermitage 時間: 2025-3-30 07:42 作者: Introvert 時間: 2025-3-30 11:27 作者: 知識 時間: 2025-3-30 15:07 作者: PACK 時間: 2025-3-30 17:15
Diagnosis and Classification of PNHthe sugar-water test detect only PNH erythrocytes susceptible to autologous complement. The evaluation of hemolysis, thrombosis, and underlying bone marrow disorder virtually defines PNH classification and disease severity.作者: 猛然一拉 時間: 2025-3-30 21:37
Wolfgang LanzerMethode zur Spezifizierung und Evaluation von Softwarefunktionalit?ten zur kontextorientierten Steuerung des Mobile Marketing?作者: 針葉 時間: 2025-3-31 01:04
w-to-think’ guide versus mathematics and specific tools.Prov.This major work on knowledge representation is based on the writings of Charles S. Peirce, a logician, scientist, and?philosopher of the first rank at the beginning of the 20th century.?This book follows Peirce‘s practical guidelines and u作者: BRIEF 時間: 2025-3-31 08:17
