標(biāo)題: Titlebook: Methods, Models and Tools for Fault Tolerance; Michael Butler,Cliff Jones,Elena Troubitsyna Book 2009 Springer-Verlag Berlin Heidelberg 20 [打印本頁(yè)] 作者: malignant 時(shí)間: 2025-3-21 17:02
書目名稱Methods, Models and Tools for Fault Tolerance影響因子(影響力)
書目名稱Methods, Models and Tools for Fault Tolerance影響因子(影響力)學(xué)科排名
書目名稱Methods, Models and Tools for Fault Tolerance網(wǎng)絡(luò)公開度
書目名稱Methods, Models and Tools for Fault Tolerance網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Methods, Models and Tools for Fault Tolerance被引頻次
書目名稱Methods, Models and Tools for Fault Tolerance被引頻次學(xué)科排名
書目名稱Methods, Models and Tools for Fault Tolerance年度引用
書目名稱Methods, Models and Tools for Fault Tolerance年度引用學(xué)科排名
書目名稱Methods, Models and Tools for Fault Tolerance讀者反饋
書目名稱Methods, Models and Tools for Fault Tolerance讀者反饋學(xué)科排名
作者: Assemble 時(shí)間: 2025-3-21 23:50
Miaomiao Zhang,Zhiming Liu,Charles Morisset,Anders P. Ravn作者: 邊緣帶來墨水 時(shí)間: 2025-3-22 03:36
Anatoliy Gorbenko,Vyacheslav Kharchenko,Alexander Romanovsky作者: 推遲 時(shí)間: 2025-3-22 07:11 作者: 諷刺 時(shí)間: 2025-3-22 11:16 作者: Definitive 時(shí)間: 2025-3-22 15:25
DREP: A Requirements Engineering Process for Dependable Reactive Systemsser goals. The process requires the developer to specify means that detect such situations, and to define the recovery measures that attempt to put the system in a reliable and safe state. The process is iterative, and refinements are carried out, if necessary, to achieve desired quality levels. To 作者: 鋸齒狀 時(shí)間: 2025-3-22 19:04 作者: 狼群 時(shí)間: 2025-3-22 21:19 作者: semiskilled 時(shí)間: 2025-3-23 03:44 作者: BOOR 時(shí)間: 2025-3-23 08:30
Elisabeth Ball,Michael Butler?st ist - vielleicht, weil sie in dieser Form tats?chlich unl?sbar ist. Gefragt wurde nach einem einzigen Mathematischen Prinzip des Unendlichen, welches, ohne widerspruchsvoll zu sein, hinreicht, s?mtliche wahren mathema- tischen Lehrs?tze in einfacher, klarer und strenger Weise zu deduzieren - und zwar in a978-3-0348-5243-2978-3-0348-5242-5作者: 騎師 時(shí)間: 2025-3-23 12:24 作者: 直言不諱 時(shí)間: 2025-3-23 17:40
Divakar Yadav,Michael Butlerg besonders leicht zug?nglich sind. Das enge Zusammenspiel zwischen Mathematikern und Physikern hat sich sehr günstig in bezug auf die Entwicklung der Modelle theoretischer Physik ausgewirkt. Das mo- derne Geb?ude der Quantentheorie ist weitgehend reine bzw. angewandte Mathematik. Es scheint daher die Frage b978-3-663-00810-1978-3-663-02723-2作者: Lasting 時(shí)間: 2025-3-23 18:00 作者: PUT 時(shí)間: 2025-3-24 01:43
Zheng Chen,Luc Moreauogrammierungs- als auch ger?tetechnischer Einzel- heiten bei Digital- und Analogrechnern wird verzichtet. Dem sich hierfür interessierenden Leser seien die B?nde RA 5 und RA 6 empfohlen. Der sich für die organisatorisch-?konomische Seite des Proze?rechnereinsatzes Interessierende "ei auf den Band RA 68 hingew978-3-663-00970-2978-3-663-02883-3作者: fiscal 時(shí)間: 2025-3-24 05:35
Sadaf Mustafiz,J?rg Kienzleogrammierungs- als auch ger?tetechnischer Einzel- heiten bei Digital- und Analogrechnern wird verzichtet. Dem sich hierfür interessierenden Leser seien die B?nde RA 5 und RA 6 empfohlen. Der sich für die organisatorisch-?konomische Seite des Proze?rechnereinsatzes Interessierende "ei auf den Band RA 68 hingew978-3-663-00970-2978-3-663-02883-3作者: 確認(rèn) 時(shí)間: 2025-3-24 07:14 作者: nostrum 時(shí)間: 2025-3-24 11:39 作者: 商店街 時(shí)間: 2025-3-24 17:12 作者: 殺死 時(shí)間: 2025-3-24 20:32
Linas Laibinis,Elena Troubitsyna,Sari Lepp?nenu durchleuchten. Dabei haben wir entsprechend Bild 1 eine mehr oder weniger enge Verflechtung zwischen Mathematikern, Physikern und den Fachleuten der Informationsverarbeitung. Die mathematischen Lehrgeb?ude dienen dem Aufbau physikalischer Modelle, deren numerische Durchrechnung heute mit elektroni作者: 車床 時(shí)間: 2025-3-25 01:44 作者: fidelity 時(shí)間: 2025-3-25 06:24
Qaisar A. Malik,Johan Lilius,Linas Laibinisu durchleuchten. Dabei haben wir entsprechend Bild 1 eine mehr oder weniger enge Verflechtung zwischen Mathematikern, Physikern und den Fachleuten der Informationsverarbeitung. Die mathematischen Lehrgeb?ude dienen dem Aufbau physikalischer Modelle, deren numerische Durchrechnung heute mit elektroni作者: extemporaneous 時(shí)間: 2025-3-25 09:27
Zheng Chen,Luc Moreaues Bandes, der nur eine Einführung in diese Problematik geben will, nicht Voraussetzung. Vorausgesetzt wird beim Leser ein gründliches tech- nisches Allgemeinwissen und Kenntnisse, wie sie der erste Band der REIHE AUTOMATISIERUNGSTECHNIK "Grundbegriffe der Auto- matisierungstechnik" von Dr. G. Schwa作者: 無意 時(shí)間: 2025-3-25 13:27
Sadaf Mustafiz,J?rg Kienzlees Bandes, der nur eine Einführung in diese Problematik geben will, nicht Voraussetzung. Vorausgesetzt wird beim Leser ein gründliches tech- nisches Allgemeinwissen und Kenntnisse, wie sie der erste Band der REIHE AUTOMATISIERUNGSTECHNIK "Grundbegriffe der Auto- matisierungstechnik" von Dr. G. Schwa作者: Supplement 時(shí)間: 2025-3-25 17:51
Marta Pl?ska,Marina Waldén,Colin Snookd. Praktisch verwirklichte Anwendungsf?lle, die den Einsatz eines Rechners rechtfertigen, lassen sich jedoch als Beispiele schlecht verwenden, weil die Erl?uterung der technologischen Grundlagen des entsprechenden Prozesses zu viel Raum in Anspruch nehmen würde. Am Problem der Temperatursteuerung ei作者: 培養(yǎng) 時(shí)間: 2025-3-25 23:08 作者: 烤架 時(shí)間: 2025-3-26 01:56 作者: 磨碎 時(shí)間: 2025-3-26 05:19
Temporal Verification of Fault-Tolerant Protocols10,20] has been shown to provide a clear, concise and intuitive description of many such systems, and automata-theoretic techniques such as . [7,14] have been shown to be very useful in practical verification. Recently, the verification of . systems, particularly parameterised systems comprising . n作者: 贊美者 時(shí)間: 2025-3-26 11:27 作者: 偏見 時(shí)間: 2025-3-26 13:15 作者: Leisureliness 時(shí)間: 2025-3-26 18:53
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interactionrance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these p作者: 極端的正確性 時(shí)間: 2025-3-26 23:18
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systemss, correctness of software for such systems and system fault tolerance should be ensured. In our previous work we proposed an approach to formalisation and extension of Lyra – a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decompositi作者: Mnemonics 時(shí)間: 2025-3-27 01:19
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-Bs is usually done within a transactional framework. A read-only transaction accesses data locally and an update transaction modifies the database at all sites. Total order broadcast primitives have been proposed to support transactions and allow fault-tolerant cooperation between the sites in a dist作者: ALB 時(shí)間: 2025-3-27 06:13
Model-Based Testing Using Scenarios and Event-B Refinementsto add or modify features, the corresponding testing scenarios are automatically refined to incorporate these changes. The test cases, to be applied on the system under test, are generated from these scenarios. We use the Event-B formalism for software models, while user scenarios are represented as作者: 防水 時(shí)間: 2025-3-27 11:24 作者: cogitate 時(shí)間: 2025-3-27 16:53 作者: 濕潤(rùn) 時(shí)間: 2025-3-27 21:43
Documenting the Progress of the System DevelopmentML and formal methods. Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be applied. In this paper we introduce progress diagrams to document the design decisions and detai作者: OTTER 時(shí)間: 2025-3-28 01:05 作者: epinephrine 時(shí)間: 2025-3-28 03:48
Step-Wise Development of Resilient Ambient Campus Scenarios formal theory that enables us to produce a well-structured step-wise design and to ensure disciplined integration of error recovery measures into the resulting implementation. The development method, called AgentB, uses the idea of modelling database to support a coherent development of and reasoni作者: NICE 時(shí)間: 2025-3-28 07:56
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependabilitymunication, Grid, e-science, e-business, etc. One of the possible ways to improve this dependability is by employing service redundancy and diversity represented by a number of component web services with the identical or similar functionality at each level of the composite system hierarchy during s作者: 漂浮 時(shí)間: 2025-3-28 11:42
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocolsces the specification task to the design of the network layout, and provides a uniform design interface linking model checking with simulation. We illustrate our techniques with a randomised gossiping protocol.作者: 畸形 時(shí)間: 2025-3-28 14:50 作者: 有惡臭 時(shí)間: 2025-3-28 20:43
Step-Wise Development of Resilient Ambient Campus Scenariosced during the development of various model views. The approach is demonstrated through the development of several application scenarios within an ambient campus case study conducted at Newcastle University (UK) as part of the FP6 RODIN project.作者: 詩(shī)集 時(shí)間: 2025-3-29 02:12 作者: Vulnerary 時(shí)間: 2025-3-29 05:40 作者: Fecundity 時(shí)間: 2025-3-29 07:36 作者: 單片眼鏡 時(shí)間: 2025-3-29 13:42 作者: 助記 時(shí)間: 2025-3-29 19:24 作者: 火花 時(shí)間: 2025-3-29 20:25
Documenting the Progress of the System Developmenthe development process certain design patterns can be applied. In this paper we introduce progress diagrams to document the design decisions and detailing of the system in successive refinement steps. A case study illustrates the use of the progress diagrams.作者: Palliation 時(shí)間: 2025-3-30 01:41
Book 2009ty of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking作者: Engulf 時(shí)間: 2025-3-30 05:11 作者: 漫步 時(shí)間: 2025-3-30 08:49
Recording Process Documentation in the Presence of Failurescumentation and would cause disastrous consequences. This paper describes our solution, F_PReP, a protocol for recording process documentation in the presence of failures. A complete formalisation of the protocol using Abstract State Machines is also presented.作者: 無目標(biāo) 時(shí)間: 2025-3-30 15:51 作者: 支架 時(shí)間: 2025-3-30 20:04
https://doi.org/10.1007/978-3-642-00867-2complexity; design; formal method; modeling; system development; validation; verification作者: 假 時(shí)間: 2025-3-31 00:30 作者: browbeat 時(shí)間: 2025-3-31 03:31
Methods, Models and Tools for Fault Tolerance978-3-642-00867-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: squander 時(shí)間: 2025-3-31 07:52
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/632439.jpg
