default search action
4. ISARCS 2013: Vancouver, BC, Canada
- Philippe Kruchten, Sam Malek:
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2123-5
Analysis techniques
- Teerat Pitakrat, André van Hoorn, Lars Grunske:
A comparison of machine learning algorithms for proactive hard disk drive failure detection. 1-10 - Xiwei Xu, Qinghua Lu, Liming Zhu, Zhanwen Li, Sherif Sakr, Hiroshi Wada, Ingo Weber:
Availability analysis for deployment of in-cloud applications. 11-16
Security and safety
- Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet:
Formalization of design patterns for security and dependability. 17-26 - Roshanak Roshandel, Payman Arabshahi, Radha Poovendran:
LIDAR: a layered intrusion detection and remediationframework for smartphones. 27-32 - Marc Ronell:
Safety concerns regarding the use of visual programming in civilian avionics software. 33-38
Critical systems
- Maurice H. ter Beek, Fabio Gadducci, Francesco Santini:
Validating reconfigurations of reo circuits in an e-Banking scenario. 39-48 - Manuel Oriol, Thomas Gamer, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti:
Fault-tolerant fault tolerance for component-based automation systems. 49-58
Keynote
- Wojtek Kozaczynski:
Monitoring and diagnosing cloud infrastructure. 59-60
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.