Login / Signup
Osvaldo Carvalho
Publication Activity (10 Years)
Years Active: 1982-2017
Publications (10 Years): 1
Top Topics
Detect Anomalies
Healthcare Systems
Network Anomaly Detection
Databases
Top Venues
ICHI
</>
Publications
</>
Luiz F. M. Carvalho
,
Carlos H. C. Teixeira
,
Wagner Meira Jr.
,
Martin Ester
,
Osvaldo Carvalho
,
Maria Helena Brandao
Provider-Consumer Anomaly Detection for Healthcare Systems.
ICHI
(2017)
Edré Quintão Moreira
,
Osvaldo Carvalho
AnaGel: A Distributed System for Storage and Analysis of Electrophoretical Records.
WOB
(2002)
Antonio A. F. Loureiro
,
Samuel T. Chanson
,
Son T. Vuong
,
Osvaldo Carvalho
,
Geraldo R. Mateus
A superimposition algorithm for application-aware adaptation in mobile computing.
ICC
(1999)
Antonio A. F. Loureiro
,
Samuel T. Chanson
,
Son T. Vuong
,
Osvaldo Carvalho
Design for testability of communication protocols that support coordination loss.
ICC
(1999)
Osvaldo Carvalho
,
Antonio Alfredo Ferreira Loureiro
A Communication Lower Bound for Invariance Preserving on Partitioned Transition Systems.
OPODIS
(1998)
Osvaldo Carvalho
,
Gérard Roucairol
On the Distribution of an Assertion.
PODC
(1982)