搜索页_+software+fault+isolation

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

SpringerLink电子期刊(23)

在“SpringerLink电子期刊”中，命中：23条，耗时：0.017994 秒

在所有数据库中总计命中：63条

1. Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems

关键词：Cyber ; physical systems ; Software architecture ; Run ; time uncertainty ; Self ; adaptation strategies

刊名：Lecture Notes in Computer Science

出版年：2016

2. NaClDroid: Native Code Isolation for Android Applications

关键词：SFI ; NaCl ; Android

刊名：Lecture Notes in Computer Science

出版年：2016

3. A unified integration and component testing approach from deterministic stream X-machine specifications

作者： Florentin Ipate ; Dimitris Dranidis

关键词：Model based testing ; Test generation ; Formal specifications ; Stream X ; machines ; Extended finite state machines

刊名：Formal Aspects of Computing

出版年：2016

4. WebC: toward a portable framework for deploying legacy code in web browsers

作者： Jie Yin ; Gang Tan ; XiaoLong Bai ; ShiMin Hu

关键词：WebC ; software fault isolation ; symbol link ; shadow memory area ; portable ; 072102

刊名：SCIENCE CHINA Information Sciences

出版年：2015

5. Dynamic Response Changes of Seismic Isolated Building Due to Material Degradation of HDRB

作者： Muna H. Gheryani ; Hashim Abdul Razak…

关键词：Seismic isolation ; High ; damping rubber bearing ; Temperature ; Scragging ; Aging ; Building structure ; Nonlinear time history ; Bidirectional near fault

刊名：Arabian Journal for Science and Engineering

出版年：2015

6. Effect of supplemental damping on seismic response of base isolated frames under near & far field accelerations

作者： Mojtaba Fathi ; Akbar Makhdoumi ; Mehdi Parvizi

关键词：seismic behavior ; base isolation ; supplemental damping ; near & far field earthquake

刊名：KSCE Journal of Civil Engineering

出版年：2015

7. Deliberative, search-based mitigation strategies for model-based software health management

作者：Nagabhushan Mahadevan (1)
Abhishek Dubey (1)
Daniel Balasubramanian (1)
Gabor Karsai (1)

关键词：Software health management ; Deliberative reasoning ; Component ; based software development ; ARINC ; 653

刊名：Innovations in Systems and Software Engineering

出版年：2013

8. Optimizing decomposition of software architecture for local recovery

作者：Hasan S?zer (1)
Bedir Tekinerdo?an (2)
Mehmet Ak?it (3)

关键词：Software architecture design ; Fault tolerance ; Local recovery ; Availability ; Performance

刊名：Software Quality Journal

出版年：2013

9. Fault-Tolerant Control, Fault Diagnosis and Recovery in Runtime of Business Docking Service Composition Flow in the Cloud Environment

作者：Jianhua Han (22)
Silu He (22)
Hengxin Li (22)
Jianping Huang (22)

关键词：Fault ; tolerant control ; Fault diagnosis ; Business docking service composition flow ; Services choreography and orchestration

刊名：Lecture Notes in Computer Science

出版年：2014

10. A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems

作者：Klaus Becker (17)
Bernhard Sch?tz (17)
Michael Armbruster (18)
Christian Buckl (17)

关键词：Fault ; Tolerance ; Fail ; Operational ; Mixed ; Critical ; Deployment ; Dependability ; SMT ; Solver

刊名：Lecture Notes in Computer Science

出版年：2014

按检索点细分(23)

关键词(1)

文摘(23)

按出版年细分(23)

2016年(3)

2015年(3)

2014年(6)

2013年(4)

2012年(1)

2007年(2)

2005年(3)

2000年(1)