標(biāo)題: Titlebook: Architecting Dependable Systems V; Rogério Lemos,Felicita Giandomenico,Marlon Vieira Book 2008 Springer-Verlag Berlin Heidelberg 2008 Midd [打印本頁] 作者: Buren 時間: 2025-3-21 16:36
書目名稱Architecting Dependable Systems V影響因子(影響力)
書目名稱Architecting Dependable Systems V影響因子(影響力)學(xué)科排名
書目名稱Architecting Dependable Systems V網(wǎng)絡(luò)公開度
書目名稱Architecting Dependable Systems V網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Architecting Dependable Systems V被引頻次
書目名稱Architecting Dependable Systems V被引頻次學(xué)科排名
書目名稱Architecting Dependable Systems V年度引用
書目名稱Architecting Dependable Systems V年度引用學(xué)科排名
書目名稱Architecting Dependable Systems V讀者反饋
書目名稱Architecting Dependable Systems V讀者反饋學(xué)科排名
作者: 關(guān)心 時間: 2025-3-21 21:22
A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructurely or telecommunication. The extensive use of information and communication technologies (ICT) has pervaded the critical infrastructures, rendering them more intelligent but even increasingly interconnected, complex, interdependent, and therefore more vulnerable. In this paper a new technology (MIT 作者: ingestion 時間: 2025-3-22 02:39
Evaluation of Critical Infrastructures: Challenges and Viable Approachesven the increasing dependence upon such critical infrastructures, research and investments in identifying their vulnerabilities and devising survivability enhancements are recognized paramount by many countries. Understanding and analyzing interdependencies and interoperabilities between different c作者: Misnomer 時間: 2025-3-22 08:20 作者: angiography 時間: 2025-3-22 09:25
A Robust Semantic Overlay Network for Microgrid Control Applicationselligent electronic devices that are associated with dispersed energy resources. For distributed microgrid applications in a dynamic environment, . provide an opportunity for a flexible and robust logical communication infrastructure among these intelligent electronic devices. Agora is a semantic ov作者: maudtin 時間: 2025-3-22 15:46
Architecting Dependable and Secure Systems Using Virtualizationenhancements using the Xen open-source virtual machine monitor (VMM). Using combinatorial modeling, we perform reliability analysis of multiple design choices when a single physical server is used to host multiple virtual servers. The analysis shows that unless certain conditions (e.g., regarding th作者: 為現(xiàn)場 時間: 2025-3-22 17:15 作者: CAJ 時間: 2025-3-22 23:43
Design, Implementation and Deployment of State Machines Using a Generative Approachact model. Various artefacts are generated from each state machine, including diagrams, source-level protocol implementations and documentation. The state machine family formalises the interactions between the components of the distributed system, allowing increased confidence in correctness. Our me作者: Accolade 時間: 2025-3-23 01:58
Handling Emergent Nondeterminism in Replicated Serviceside nondeterminism that compromises replica consistency. Our approach, Midas identifies and addresses multiple sources of nondeterminism (including system calls, multithreading, etc.) in a multi-service replicated distributed architecture. Midas involves a synergistic combination of compile-time dep作者: BRINK 時間: 2025-3-23 09:18
Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenariosscenarios. We map scenarios to architectural elements through an ontology of requirements-level event classes and domain entities. The scenarios express both functional requirements and quality attributes of the system; for quality attributes, the scenarios either operationalize the quality or show 作者: Enrage 時間: 2025-3-23 13:26
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UMacilitate the construction of complex functionality by composition of existing components. For such a composition means for a sufficient verification either by testing or formal verification are necessary. However, the overwhelming complexity of the interaction of distributed real-time components us作者: 臨時抱佛腳 時間: 2025-3-23 14:03
Plug-and-Play Architectural Design and Verification decisions about the semantics of these interactions is a key part of the design process. It is often difficult, however, to choose the appropriate interaction semantics due to the wide range of alternatives and the complexity of the system behavior affected by those choices. Techniques such as fini作者: 辯論 時間: 2025-3-23 18:15
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examplesn and validation is attracting great attention. The standardization of BPEL as a composition language and of WSDL as a WS interface definition language has led researchers to investigate verification and validation techniques mainly focusing on the sequence of events in the composition, while minor 作者: HILAR 時間: 2025-3-23 22:27 作者: 高興去去 時間: 2025-3-24 04:11
Architecting Dependable Systems V978-3-540-85571-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 開花期女 時間: 2025-3-24 09:31
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/b/image/161235.jpg作者: Lignans 時間: 2025-3-24 10:39
https://doi.org/10.1007/978-3-540-85571-2Middleware; Software Engineering; Web Services; design; event-based systems; high availability; overlay; ri作者: PLIC 時間: 2025-3-24 15:48 作者: peptic-ulcer 時間: 2025-3-24 19:01
https://doi.org/10.1007/978-3-662-53553-0y computerized nature, and to the pervasive interconnection of systems all over the world. We discuss how to overcome these problems and achieve resilience of critical information infrastructures, through adequate architectural constructs. The architecture we propose is generic and may come to be us作者: Synapse 時間: 2025-3-25 02:09 作者: 繼而發(fā)生 時間: 2025-3-25 04:15
Cholezystolithiasis/Choledocholithiasis,ven the increasing dependence upon such critical infrastructures, research and investments in identifying their vulnerabilities and devising survivability enhancements are recognized paramount by many countries. Understanding and analyzing interdependencies and interoperabilities between different c作者: 種類 時間: 2025-3-25 09:23
Bariatrische und metabolische Chirurgie,ether. Their criticality becomes more and more evident as the damage and the risks deriving from wrong behaviors (both accidental and intentionally caused) are increasing. It is becoming evident that existing (legacy) subsystem must be interconnected together following some disciplined and controlle作者: 惡名聲 時間: 2025-3-25 14:27
Gastrointestinale Stromatumoren,elligent electronic devices that are associated with dispersed energy resources. For distributed microgrid applications in a dynamic environment, . provide an opportunity for a flexible and robust logical communication infrastructure among these intelligent electronic devices. Agora is a semantic ov作者: CROW 時間: 2025-3-25 18:09 作者: Iatrogenic 時間: 2025-3-25 20:18 作者: 陶器 時間: 2025-3-26 03:43
Holger Pfaff,Lara Lindert,Sabrina Zeikeact model. Various artefacts are generated from each state machine, including diagrams, source-level protocol implementations and documentation. The state machine family formalises the interactions between the components of the distributed system, allowing increased confidence in correctness. Our me作者: 令人不快 時間: 2025-3-26 05:02
Anja Leber,Gisela Kammermeyer,Susanna Rouxide nondeterminism that compromises replica consistency. Our approach, Midas identifies and addresses multiple sources of nondeterminism (including system calls, multithreading, etc.) in a multi-service replicated distributed architecture. Midas involves a synergistic combination of compile-time dep作者: Angiogenesis 時間: 2025-3-26 08:32
Anja Leber,Gisela Kammermeyer,Susanna Rouxscenarios. We map scenarios to architectural elements through an ontology of requirements-level event classes and domain entities. The scenarios express both functional requirements and quality attributes of the system; for quality attributes, the scenarios either operationalize the quality or show 作者: Landlocked 時間: 2025-3-26 14:52 作者: 手段 時間: 2025-3-26 18:00
https://doi.org/10.1007/978-3-658-26438-3 decisions about the semantics of these interactions is a key part of the design process. It is often difficult, however, to choose the appropriate interaction semantics due to the wide range of alternatives and the complexity of the system behavior affected by those choices. Techniques such as fini作者: INCH 時間: 2025-3-26 21:18 作者: Foolproof 時間: 2025-3-27 04:26 作者: 原始 時間: 2025-3-27 07:31 作者: 欲望小妹 時間: 2025-3-27 13:22
Analysis of a Redundant Architecture for Critical Infrastructure Protectionrolling the physical process correctly exchange information despite accidents and malicious attacks. CIS resilience is achieved thanks to replication for intrusion tolerance and replica recovery for self-healing..This chapter analyzes the redundant architecture of the CIS, with a set of objectives: 作者: Peak-Bone-Mass 時間: 2025-3-27 16:09 作者: 突襲 時間: 2025-3-27 19:13
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UMneration of component tests. The proposed scheme results in an effective combination of testing and formal verification. While verification is employed to tackle the inherently subtle interaction of the distributed real-time components which could not be covered by testing, local testing of the comp作者: connoisseur 時間: 2025-3-27 23:06
Plug-and-Play Architectural Design and Verificationerfaces for components are defined that reduce the impact of interaction changes on the components’ computations. This approach facilitates design-time verification by improving the reusability of component models and by providing reusable formal models for the connector building blocks, thereby red作者: 猛擊 時間: 2025-3-28 03:03
Using Architecture Analysis to Evolve Complex Industrial Systemstion, it is beneficial to find practical ways to obtain an up-to-date view on an architectural level without having to read thousands of lines of source code. These activities should be seen as an important contribution for preventing the introduction of faults into software systems since they contr作者: jarring 時間: 2025-3-28 10:17
0302-9743 en by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verifica978-3-540-85570-5978-3-540-85571-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Magisterial 時間: 2025-3-28 12:09
Book 2008ineering and Software Architecture (CompArch 2007), held in Medford, MA, USA in July 2007. It also contains a number of invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verifica作者: 描述 時間: 2025-3-28 14:50
Cholezystolithiasis/Choledocholithiasis,critical assets. This paper addresses the analysis of CI, with focus on interdependencies between the involved subsystems. In particular, the experience gained by the authors in an on-going European project is reported and discussed, both in terms of identified challenges and in viable approaches un作者: pessimism 時間: 2025-3-28 18:57 作者: Optometrist 時間: 2025-3-29 01:06
C. Kastner,C.-T. Germer,A. Wiegeringd a privileged virtual machine (VM) called Dom0. Dom0, being much bulkier than the hypervisor core, is the weak link for Xen reliability. Consequently, R-Xen focuses on improving the reliability of Dom0 through replication in which Dom0 replicas mutually monitor each other for intrusion and faults. 作者: 畏縮 時間: 2025-3-29 06:50
https://doi.org/10.1007/978-3-658-26438-3neration of component tests. The proposed scheme results in an effective combination of testing and formal verification. While verification is employed to tackle the inherently subtle interaction of the distributed real-time components which could not be covered by testing, local testing of the comp作者: yohimbine 時間: 2025-3-29 11:01
https://doi.org/10.1007/978-3-658-26438-3erfaces for components are defined that reduce the impact of interaction changes on the components’ computations. This approach facilitates design-time verification by improving the reusability of component models and by providing reusable formal models for the connector building blocks, thereby red作者: Cultivate 時間: 2025-3-29 12:19 作者: 頂點(diǎn) 時間: 2025-3-29 17:48
0302-9743 be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability...This state-of-the-art survey contains exp作者: 腫塊 時間: 2025-3-29 20:29 作者: 針葉樹 時間: 2025-3-30 02:21
Bariatrische und metabolische Chirurgie,nd limit cascading effects and/or support automated (if possible) recovery and service continuity in critical situations. The research activities and results described in the paper have been developed inside EU/FP6 Integrated Project IRRIIS - Integrated Risk Reduction of Information-based Infrastructure Systems.作者: intuition 時間: 2025-3-30 07:28 作者: 繁榮中國 時間: 2025-3-30 08:39 作者: overwrought 時間: 2025-3-30 15:54
Anja Leber,Gisela Kammermeyer,Susanna Rouxnarios and architecture evolve, and provides a foundation for evaluating scenarios and architecture individually and jointly. In this paper, we focus on the mapping through event classes and demonstrate our approach with two examples.作者: HEW 時間: 2025-3-30 18:49 作者: 使害怕 時間: 2025-3-30 21:36 作者: CLEAR 時間: 2025-3-31 04:28
Design, Implementation and Deployment of State Machines Using a Generative Approachf an abstract state space and various categories of state transitions. We describe how such an abstract model can be deployed in a concrete system, and propose a general methodology for developing systems in this style.作者: 避開 時間: 2025-3-31 07:49
Handling Emergent Nondeterminism in Replicated Servicesate Midas’ scalability through a microbenchmark that shows the underlying tradeoffs under different kinds of dependencies between clients, services and invocations in a distributed system. We also validate our claims by modeling a representative multi-service application using Java Pathfinder.
