Osvaldo Carvalho

According to our database, Osvaldo Carvalho authored at least 6 papers between 1982 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Provider-Consumer Anomaly Detection for Healthcare Systems.

Luiz F. M. Carvalho, Carlos H. C. Teixeira, Wagner Meira Jr., Martin Ester, Osvaldo Carvalho, Maria Helena Brandao

Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

2002

AnaGel: A Distributed System for Storage and Analysis of Electrophoretical Records.

Edré Quintão Moreira, Osvaldo Carvalho

Proceedings of the I Brazilian Workshop on Bioinformatics, 2002

1999

A superimposition algorithm for application-aware adaptation in mobile computing.

Antonio A. F. Loureiro, Samuel T. Chanson, Son T. Vuong, Osvaldo Carvalho, Geraldo R. Mateus

Proceedings of the 1999 IEEE International Conference on Communications: Global Convergence Through Communications, 1999

Design for testability of communication protocols that support coordination loss.

Antonio A. F. Loureiro, Samuel T. Chanson, Son T. Vuong, Osvaldo Carvalho

Proceedings of the 1999 IEEE International Conference on Communications: Global Convergence Through Communications, 1999

1998

A Communication Lower Bound for Invariance Preserving on Partitioned Transition Systems.

Osvaldo Carvalho, Antonio Alfredo Ferreira Loureiro

Proceedings of the Distributed Computing, 1998

1982

On the Distribution of an Assertion.

Osvaldo Carvalho, Gérard Roucairol

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982