Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Design of Distributed Multimedia Applications (DAMD)de Souza, Wanderley Lopes ; Sampaio, Paulo Nazareno Maia ; Almeida, Maria Janilce B. ; Gaspary, Luciano Paschoal ; Granville, Lisandro Zambenedetti ; Farines, Jean-Marie ; Scheffel, Roberto Milton ; Willrich, Roberto ; de Camargo, Murilo S. ; Domingos, MarceloApplied Formal Methods — FM-Trends 98, 1999, p.77-91 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Mobile Cloud Computing as an Alternative for Monitoring Child Mental DisordersPusey, Shavely S. ; Camargo, Jorge E. ; Díaz, Gloria M.Smart Health, p.31-42 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Design of a Mobile Application to Support Non-pharmacological Therapies for People with Alzheimer DiseaseReyes, Angie K. ; Camargo, Jorge E. ; Díaz, Gloria M.Smart Health, p.321-332 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Arrhythmia Classification Using Biosignal Analysis and Machine Learning TechniquesNivia, Jesus E. ; Ramírez, Yesika M. ; Camargo, Jorge E.Smart Health, p.143-153 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
An Interactive Tool to Support Student Assessment in Programming AssignmentsRosales-Castro, Lina F. ; Chaparro-Gutiérrez, Laura A. ; Cruz-Salinas, Andrés F. ; Restrepo-Calle, Felipe ; Camargo, Jorge ; González, Fabio A.Advances in Artificial Intelligence - IBERAMIA 2016, p.404-414 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Heavy-Ion Fault Injections in the Time-Triggered Communication ProtocolSivencrona, Håkan ; Johannessen, Per ; Persson, Mattias ; Torin, JanDependable Computing, 2003, p.69-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed SystemsDotti, Fernando L. ; dos Santos, Osmar M. ; Rödel, Eduardo T.Dependable Computing, 2003, p.341-360 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
An Architecture for On-the-Fly File Integrity CheckingBorchardt, Mauro ; Maziero, Carlos ; Jamhour, EdgardDependable Computing, 2003, p.117-126 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Managing Adaptive Fault Tolerant CORBA Applicationsde Moura, Marcos A. M. ; Endler, MarkusDependable Computing, 2003, p.160-180 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection ServicesCamargos, Lásaro J. ; Madeira, Edmundo R. M.Dependable Computing, 2003, p.234-253 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |