Publisher： Inderscience Publishers
Founded in： 2010
Total resources： 5
E-ISSN： 1757-8787
ISSN： 1757-8779
Subject： TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal of Critical Computer-Based Systems
Menu
Optimal configuration of fault-tolerance parameters for distributed replicated server access
By Daidone Alessandro,Renier Thibault,Bondavalli Andrea,Schwefel Hans Peter in (2013)
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 2, 2013-09 , pp.
Access to resources
Recommend
A survey of safety-oriented model-driven and formal development approaches
By Prokhorova Yuliya,Troubitsyna Elena in (2013)
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 2, 2013-09 , pp.Probabilistic fault tree synthesis using causality computation
By Leitner-Fischer Florian,Leue Stefan in (2013)
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 2, 2013-09 , pp.By Vyas Pankaj,Mittal R.K. in (2013)
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 2, 2013-09 , pp.A formal approach to H.264 video decoding on multicore systems
By Lumme Kristian,Petre Luigia,Sandvik Petter,Sere Kaisa in (2013)
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 1, 2013-05 , pp.A refinement-based approach to developing critical multi-agent systems
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 1, 2013-05 , pp.Dynamic allocation and admission policies for QoS-aware provisioning systems
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 1, 2013-05 , pp.A distributed design of a network recovery algorithm
By Kamali Maryam,Laibinis Linas,Petre Luigia,Sere Kaisa in (2013)
International Journal of Critical Computer-Based Systems , Vol. 4, Iss. 1, 2013-05 , pp.Argument-based approach to computer system safety engineering
International Journal of Critical Computer-Based Systems , Vol. 3, Iss. 3, 2012-11 , pp.
Previous
Next