Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Modular Rewriting Semantics of Programming LanguagesMeseguer, José ; Braga, Christiano Shankland, Carron ; Maharaj, Savitri ; Rattray, CharlesAlgebraic Methodology and Software Technology, 2004, p.364-378 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Maude Action Tool: Using reflection to map Action semantics to rewriting logicBRAGA, C. De O ; HAEUSLER, E. H ; MESEGUER, J ; MOSSES, P. DLecture notes in computer science, 2000, p.407-421 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Building a Wizard for Framework Instantiation Based on a Pattern LanguageBraga, Rosana T. V. ; Masiero, Paulo Cesar Pigneur, Yves ; Patel, Shusma ; Léonard, Michel ; Konstantas, DimitriLecture notes in computer science, 2003, p.95-106 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
A Generic Event-Driven System for Managing SNMP-Enabled Communication NetworksBraga, A. P. ; Rios, R. ; Andrade, R. ; Machado, J. C. ; Neuman de Souza, J. Lorenz, Pascal ; de Souza, José Neuman ; Dini, PetreLecture notes in computer science, 2004, p.811-819 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Evaluation of Fixed Thresholds for Allocation and Management of Dedicated Channels Transmission Power in WCDMA Networksde Lima, C. H. M. ; Rodrigues, E. B. ; de Sousa, V. A. ; Cavalcanti, F. R. P. ; Braga, A. R. Lorenz, Pascal ; de Souza, José Neuman ; Dini, PetreLecture notes in computer science, 2004, p.1122-1127 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |