SBC - Biblioteca Digital

:: PUBLICAÇÕES

Letter from the Guest Editors

Autor(es): Rogerio de Lemos , Eliane Martins

Palavras-chave: Letter from the Guest Editors

[ resumo

]

[ download (17 Kb) ]

A Systematic Approach for Structuring Exception Handling in Robust Component-Based Software

Autor(es): Fernando Castor Filho , Paulo Asterio de C. Guerra , Vinicius Asta Pagano , Cecília M. F. Rubira

Palavras-chave: Exceptional behaviour, Fault-tolerant component, Software fault tolerance, Component-based development.

[ resumo

]

[ download (1190 Kb) ]

Robust Assertions and Fail-Bounded Behavior

Autor(es): Paula Prata , Mario Rela , Henrique Madeira , João Gabriel Silva

Palavras-chave: Hardware faults, Error detection, ABFT, Robust assertions, Failure models, Fail-bounded.

[ resumo

]

[ download (131 Kb) ]

Efficient and robust adaptive consensus services based on oracles

Autor(es): Lívia Sampaio , Francisco Vilar Brasileiro , Raul Ceretta Nunes , Ingrid Jansch-Pôrto

Palavras-chave: consensus protocols; asynchronous distributed systems; adaptive protocols; slowness oracles; unreliable failure detectors; predictors.

[ resumo

]

[ download (372 Kb) ]

A Generalized Model for Distributed Comparison-Based System-Level Diagnosis

Autor(es): , Elias Procópio Duarte Jr. , Roverli Pereira Ziwich

Palavras-chave: Distributed Diagnosis, System-Level Diagnosis, Comparison-Based Diagnosis.

[ resumo

]

[ download (1893 Kb) ]

A Modeling Methodology for Hierarchical Control System and its Aplication

Autor(es): Paolo Lollini , Andrea Bondavalli , Felicita Di Giandomenico

Palavras-chave: Modeling Methodology, Quality of Service, Modular & Hierarchical Modeling, Petri Nets, Validation, Control Systems & Infrastructures

[ resumo

]

[ download (1759 Kb) ]