Murilo S. de Camargo

Publication Activity (10 Years)

Years Active: 1995-2005
Publications (10 Years): 0

Publications

Heloise Manica, Murilo S. de Camargo, Mario A. R. Dantas
An Architecture for Location-Dependent Semantic Cache Management. ICEIS (1) (2005)
Mauri Ferrandin, Murilo S. de Camargo
Referencial Integrity Model for XML Data Integrated from Heterogeneous Databases Systems - Using the Power of XML for Consistent Data Integration. ICEIS (1) (2004)
Heloise Manica, Murilo S. de Camargo
Caching Strategies for Mobile Databases. ICEIS (1) (2004)
Heloise Manica, Murilo S. de Camargo, Cristina Dutra de Aguiar Ciferri, Ricardo Rodrigues Ciferri
Processamento de Consultas Espaciais Baseado em Cache Semântico Dependente de Localização. GeoInfo (2004)
Murilo S. de Camargo, Roberto Milton Scheffel
Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach. Electron. Notes Theor. Comput. Sci. 14 (1998)
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
Design of Distributed Multimedia Applications (DAMD). FM-Trends (1998)
Murilo S. de Camargo, Jean-Marie Farines
Uma abordagem para especificação e verificação de sistemas dependentes do tempo. SBES (1995)