Murilo S. de Camargo

According to our database, Murilo S. de Camargo authored at least 9 papers between 1995 and 2005.

Collaborative distances:

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

2005

An Architecture for Location-Dependent Semantic Cache Management.

Heloise Manica, Murilo S. de Camargo, Mario A. R. Dantas

Proceedings of the ICEIS 2005, 2005

2004

Caching Strategies for Mobile Databases.

Heloise Manica, Murilo S. de Camargo

Proceedings of the ICEIS 2004, 2004

Referencial Integrity Model for XML Data Integrated from Heterogeneous Databases Systems - Using the Power of XML for Consistent Data Integration.

Mauri Ferrandin, Murilo S. de Camargo

Proceedings of the ICEIS 2004, 2004

Processamento de Consultas Espaciais Baseado em Cache Semântico Dependente de Localização.

Heloise Manica, Murilo S. de Camargo, Cristina Dutra de Aguiar Ciferri, Ricardo Rodrigues Ciferri

Proceedings of the VI Brazilian Symposium on Geoinformatics, 2004

1998

Design of Distributed Multimedia Applications (DAMD).

Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos

Proceedings of the Applied Formal Methods, 1998

1997

Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach.

Murilo S. de Camargo, Roberto Milton Scheffel

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação.

Roberto Milton Scheffel, Murilo Silva de Camargo

Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

1996

Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS.

Ricardo Ferreira Martins, Murilo Silva de Camargo, Jean-Marie Farines

Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

1995

Uma abordagem para especificação e verificação de sistemas dependentes do tempo.

Murilo S. de Camargo, Jean-Marie Farines

Proceedings of the 9th Brazilian Symposium on Software Engineering, 1995