Publications |
|||||||||
Books |
|||||||||
Projeto de Sistemas Distribuídos e de Tempo Real para Automação Raimundo Macêdo e Jean-Marie Farines(Org.) In Edufba Salvador, 2018. |
|||||||||
IPv6 - Conceitos e Aspectos Práticos FREITAS, A. E. S.; BEZERRA, R. M. S. In Editora Ciência Moderna Rio de Janeiro, 2015. |
|||||||||
Book Chapters |
|||||||||
Raciocínio computacional na Formação Geral: pavimentando o caminho da interdisciplinaridade Raimundo J. de A. Macêdo; David P. Cavallo; Sérgio Gorender; and Bilzã M. de Araújo In Rosângela P. de Tugny; and Gustavo Gonçalves (Org). Universidade Popular e Encontro de Saberes, ISBN: 978-85-232-2054-9 Salvador: EdUFBA; Brasília: Instituto de Inclusão no Ensino Superior e na Pesquisa - UNB, 2020. |
|||||||||
Tecnologias da Informação e Comunicação na UFSB: superando desafios na construção de uma universidade popular Raimundo J. de A. Macêdo; Alirio S. de Sá; and Sérgio Gorender In Rosângela P. de Tugny; and Gustavo Gonçalves (Org). Universidade Popular e Encontro de Saberes, ISBN: 978-85-232-2054-9 Salvador: EdUFBA; Brasília: Instituto de Inclusão no Ensino Superior e na Pesquisa - UNB, 2020. |
|||||||||
TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO NO MUNDO E NA BAHIA: RETROSPECTIVA E DESAFIOS Raimundo J. de A Macêdo In Ribeiro, N. M.; Souza, C.; Freitas, A. (Org). Ecossistemas de Inovação: Análise para Além das Fronteiras. ISBN: 978-85-67562-34-6 Salvador: EdIFBA, 2019. |
|||||||||
Practical Considerations in Optimal Multiprocessor Scheduling. Handbook of Real-Time Computing Lima, George ; MASSA, ERNESTO ; Regnier, Paul In Yu-Chu Tian; David Charles Levy (Ed.). Handbook of Real-Time Computing. 1ed., ISBN: 978-981-4585-87-3 Springer Singapore, 2019. |
|||||||||
Sistemas de Controle via Rede Alirio S. de Sá; Tanisia Foletto; Ubirajara Moreno; and Raimundo J. de A Macêdo In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7 Salvador: EdUFBA, 2018. |
|||||||||
Fundamentos de Detecção de Defeitos em Sistemas Distribuídos Alirio S. de Sá; and Raimundo J. de A Macêdo In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7 Salvador: EdUFBA, 2018. |
|||||||||
Detectores Adaptativos de Defeitos para Ambientes Distribuídos e de Automação Alirio S. de Sá; Raimundo J. de A Macêdo; Eduardo Cambruzzi; and Jean-Marie Farines In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7 Salvador: EdUFBA, 2018. |
|||||||||
Reconfiguração Dinâmica em Sistemas de Tempo Real Eduardo Camponogara; Augusto B. de Oliveira; and George Lima In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7 Salvador: EdUFBA, 2018. |
|||||||||
Redes de Sensores: Controle de Acesso ao Meio, Roteamento e Controle de Topologia Carlos Montez; Flávio Assis; and Leandro B. Becker In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7 Salvador: EdUFBA, 2018. |
|||||||||
Desenvolvimento de Sistemas de Controle e Automação na Abordagem de Engenharia Dirigida por Modelos Leandro B. Becker; Jean-Marie Farines; Aline Andrade; and Ana Patrícia Magalhães In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7 Salvador: EdUFBA, 2018. |
|||||||||
A Machine Learning Trainable Model to Assess the Accuracy of Probabilistic Record Linkage Pita, Robespierre ; Mendonça, Everton ; Reis, Sandra ; Barreto, Marcos ; Denaxas, Spiros In Ladjel Bellatreche; Sharma Chakravarthy. (Org.). Lecture Notes in Computer Science. 1ed. Springer International Publishing, 2017, v. 10440, p. 214-227 Berlim, 2017. |
|||||||||
Full Interoperability: Challenges and Opportunities for Future Information Systems. In: Boscarioli C., Araújo R., Maciel, Rita S..P. (Org.) Maciel, Rita Suzana Pitangueira; DAVID, J. M. N. ; Claro, D. B. ; Braga, Regina In I GranDSI-BR Grand Research Challenges in Information Systems in Brazil 2016 - 2026. 1ed.Porto ALegre: SBC - Sociedade Brasileira de Computação Porto Alegre, 2017. |
|||||||||
Principled Eliciting and Evaluation of Trade-Offs When Designing Self-Adaptive Systems Architectures ANDRADE, SANDRO S.; MACEDO, R. J. A. ; BONFIM, T. ; COELHO, L. In Managing Trade-offs in Adaptable Software Architectures Morgan Kaufmann, 2016. |
|||||||||
On Subtle Contributions ANDRADE, SANDRO S. In M20 Years of KDE: Past, Present and Future. Berlin, Germany, 2016. |
|||||||||
6LOWPAN : PROMOVENDO A INTEGRAÇÃO ENTRE OS DISPOSITIVOS COM A COMPUTAÇÃO UBÍQUA E A IOT BEZERRA, R. M. S. ; NASCIMENTO, F. M. S. ; FREITAS, A. E. S. In Cadernos técnicos de computação e energia. Salvador: ARCADIA, 2015. |
|||||||||
Model Driven Testing for Cloud Computing Oliveira, Jéssica ; Lopes, Denivaldo ; Abdelouahab, Zair ; Claro, Daniela ; Hammoudi, Slimane In Lecture Notes in Electrical Engineering. 1ed.: Springer International Publishing 2015. |
|||||||||
Aligning Business Requirements with Services Quality Characteristics by Using Logical Architectures. Advances in Intelligent Systems and Computing Salgado, Carlos E. ; Machado, Ricardo J. ; Maciel, Rita S. P. In 1ed.: Springer International Publishing 2015. |
|||||||||
On the processor utilization bound of the C=D Scheduling Algorithm. SANTOS JUNIOR, J. A. M. ; Lima, George ; Bletsas, K In Neil Audsley and Sanjoy Baruah. (Org.). Real-Time Systems: the past, the present and the future Reino Unido, 2013. |
|||||||||
Modelagem computacional da espacializacao de variáveis metereologicas na região agrícola do Vale do Rio São Francisco BORATTO, Murilo C. ; LEAL, B. G. ; BARRETO, Marcos E. ; NERY FILHO, J. ; COELHO, L. In Pesquisas Aplicadas em Modelagem Matemática, v.1., pp. 81-101 Porto Alegre, 2012. |
|||||||||
Modelagem computacional da espacialização do relevo na região agrícola do Vale do Rio Sao Francisco BORATTO, Murilo C. ; LEAL, B. G. ; BARRETO, Marcos E. ; BONFIM, T. ; COELHO, L. In Pesquisas Aplicadas em Modelagem Matemática, v.1., 351-371 Porto Alegre, 2012. |
|||||||||
Computação paralela e distribuída utilizando sistemas multicore e multi-GPU BORATTO, Murilo C. ; BARRETO, Marcos E. ; LESSA, I. In Carlos Augusto Paiva da Silva Martins. (Org.). Sistemas computacionais Unijui, 2012. |
|||||||||
An Adaptive Failure Detection Approach for Real-Time Distributed Control Systems over Shared Ethernet Alirio S. de Sá; and Raimundo J. de A Macêdo In P. E. Myiagi; E. Villani; O. Horikawa (Org). ABCM Symposium Series in Mechatronics, 1ed., vol.2, ISBN 978-85-85769-26-0 Rio de Janeiro: Associação Brasileira de Ciências Mecânicas, 2006. |
|||||||||
Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação. Linguagens, Middleware e Mecanismos Básicos. R. J. A Macêdo and G. M. Lima and L. P. Barreto and A.M.S.Andrade and F.J.R.Barboza and A. Sá and R. Albuquerque and S. Andrade. In Capítulo 3 do Livro texto para o mini-curso a ser apresentado no 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004.pp. 105-163, ISBN: 85-88442-82-5 Gramado, RS, 2004. |
|||||||||
Full Papers |
|||||||||
Uma análise dos tempos limite para entrega de mensagens e para determinação de vizinhança em rede veiculares ad hoc SANTOS, CLEBER BRITO ; ANDRADE, ALINE MARIA SANTOS ; DE SÁ, ALIRIO SANTOS In Anais do VII Workshop de Computação Urbana (CoUrb 2023). p. 93-106 Brasília, Brasil, 2023. |
|||||||||
DCS: Dilution-based Convergecast Scheduling in a TSCH network ASSIS, FLÁVIO; MOTA, JOÃO RICARDO; SANTOS, EBER ; LEITE, PAULO RICARDO In Ad Hoc Networks, v. 146 Online, 2023. |
|||||||||
An Adaptive TDMA Approach for Improving Reliability and Performance in WBAN under Heterogeneous Traffic and Interference HERCULANO, JORGE F.; PEREIRA, WILLIANS DE P.; DE SÁ, ALIRIO S. In Proceedings of the XII Brazilian Symposium on Computing Systems Engineering (SBESC 2022) Fortaleza, Ceará, Brasil, 2022. |
|||||||||
Avaliando Estratégias de Comunicação em Redes de Área Corporal sem Fio sob Diferentes Contextos de Mobilidade, Interferência e Carga de Aplicação PEREIRA, WILLIANS DE P. ; HERCULANO, JORGE F. ; DE SÁ, ALIRIO S. In Anais Estendidos do XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2022) Fortaleza, Ceará, Brasil, 2022. |
|||||||||
Uma Ontologia para Poços de Petróleo Equipados com Bombeio Centrífugo Submerso PEREIRA, W. S.; GORENDER, S. In Anais do XXIV Congresso Brasileiro de Automática (CBA 2022) Fortaleza, Ceará, Brasil, 2022. |
|||||||||
VCBP: A Reliable and Real-Time Group Communication Protocol for Vehicular Ad Hoc Networks PEREIRA, MARCELA A.; DE SÁ, ALIRIO S. In Proceedings of the Latin-American Symposium on Dependable Computing Fortaleza, Ceará, Brasil, 2022. |
|||||||||
Brincando com Pensamento Computacional em Tempos de Coronavírus MACÊDO, RAIMUNDO J. DE A. In SBC Horizontes Porto Alegre: Sociedade Brasileira de Computação (SBC), 2022. |
|||||||||
Simulation of the effects of evaporation ducts on maritime wireless communication CRUZ, VICTOR SANTOS ; ASSIS, FLÁVIO ; SCHNITMAN, LEIZER In WIRELESS NETWORKS, v. 27, 4677-4691 Online, 2021. |
|||||||||
Redes Corporais Sem Fio: Abordagens de MAC para Garantia de Eficiência e Confiabilidade na Comunicação sob Tráfego Dinâmico HERCULANO, JORGE F.; PEREIRA, WILLIANS DE P.; GUIMARÃES, MARCELO A.; COTRIM, REINALDO M.; DE SÁ, ALIRIO S.; ASSIS, FLÁVIO; MACÊDO, RAIMUNDO J. DE A.; GORENDER, SÉRGIO In Anais Estendidos do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2021) Online, 2021. |
|||||||||
Um Algoritmo de Membership para o Modelo Síncrono Particionado (SPA) de Sistemas Distribuídos com Particionamento Forte GORENDER, S.; DOS SANTOS, Maria Clara A. In Anais do Workshop de Testes e Tolerância a Falhas (WTF 2021) Online, 2021. |
|||||||||
Uma Análise da Confiança na Qualidade do Contexto em VANETs DE SÁ, MARGARETE O. DOS S.; GORENDER, S. In Anais Estendidos do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2021) Online, 2021. |
|||||||||
Uma Revisão Sobre a Formação Docente para o Ensino-Aprendizagem do Raciocínio Computacional no Brasil SOKOLONSKI, ANA CAROLINA ; DE SÁ, ALIRIO SANTOS; MACÊDO, RAIMUNDO J. DE A. In Anais do XXIX Workshop sobre Educação em Computação (WEI 2021) Online, 2021. |
|||||||||
Ferramenta Computacional para a classificação de ECG humanos com Detecção de Defeitos no Eletrocardiógrafo RIBEIRO, M.; CRUZ, J. A.; MACÊDO, RAIMUNDO J. DE A. In Anais Estendidos do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2021) Online, 2021. |
|||||||||
A tour of dependable computing research in Latin America DUARTE, ELIAS P. ; MACÊDO, RAIMUNDO J. A. ; MARTINS, ELIANE ; RAJSBAUM, SERGIO In COMMUNICATIONS OF THE ACM, vol. 63,n. 11, ISSN: 0001-0782 ACM, 2020. |
|||||||||
Robótica Educacional como Facilitadora do Aprendizado do Raciocínio Computacional: Revisão Sistemática da Literatura SOKOLONSKI, A. C. ; de Sá, Alirio S. ; MACÊDO, Raimundo José de Araújo In XXXI Simpósio Brasileiro de Informática na Educação Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020. |
|||||||||
Simple Area Coverage by a Dynamic Set of Unmanned Aerial Vehicles RIBEIRO, G. B. P. ; SIMOES, G. M. ; Silva, Flávio M. A. ; Gorender, S. ; de Sá, Alirio S. In Brazilian Symposium on Computing Systems Engineering Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020. |
|||||||||
Um Framework para Simulação de Sistema s Robóticos baseados em Múltiplos Veículos Aéreos Não Tripulado Simões, Gustavo M. ; de Sá, Alirio S. In III Workshop de Trabalhos de Iniciação Científica e de Graduação (WTG 2020) do XXXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2020) Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020. |
|||||||||
Self-Adaptive Systems Planning with Model Checking using MAPE-K SILVA, A. E. M. ; ANDRADE, Aline ; ANDRADE, SANDRO S. In Fault Tolerance Workshop - Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2020) Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020. |
|||||||||
Quadcopter Prototype: Modeling, Simulation and Control MARTINS, D. A. ; OLIVEIRA, Y. M. A. ; MARTINS, M. A. F. ; de SÁ, Alirio Santos ; FONTES, R. M. ; PINHEIRO, O. R. In III Brazilian Humanoid Robot Workshop and IV Brazilian Workshop on Service Robotics Salvador, 2020. |
|||||||||
Garm: A Blockchain based platform for supply chain management JESUS JUNIOR, E. M. F. ; MARQUES NETO, M. C. ; FREITAS, Allan Edgard S. In Brazilian Journal of Development, vol. 6, n. 12, ISSN:2525-8761 Curitiba, 2020. |
|||||||||
GERANDO INTELIGÊNCIA ATRAVÉS DE MICRODADOS: UMA PROPOSTA DE BUSINESS INTELLIGENCE PARA A ÁREA DE ENSINO DO INSTITUTO FEDERAL DA BAHIA (IFBA) BARRETO, I. M. S. ; FREITAS, A. E. S. In Cadernos de Educação, Tecnologia e Sociedade, v. 13 2020. |
|||||||||
Árion: A Blockchain Framework for Traceability in Supply Chain Management JESUS JUNIOR, E. M. F. ; MARQUES NETO, M. C. ; FREITAS, Allan E. S. In 3rd Blockchain Workshop: Theory, Technology, and Applications Rio de Janeiro, 2020. |
|||||||||
Quality of Context for VANETs: QoC Metrics for Connectivity in VANETs de Sá, Margarete O. dos S.; GORENDER, S. In AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019 Luxemburgo, 2019. |
|||||||||
Convergecast in a TSCH Network under a Physical Interference Model José Carlos da Silva ; ASSIS, Flávio. In AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019 Luxemburgo, 2019. |
|||||||||
Análise de Perfis de Usuários de Música e Seus Impactos no Desempenho de Políticas de Substituição de Cache PIRES, S. S. ; ARAUJO, F. R. ; FREITAS, Allan E. S.; SAMPAIO, L. N. In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos Gramado, 2019. |
|||||||||
Um Protótipo para Experimentos de Eficiência Energética em Nuvem Openstack SANTOS, D. S. ; FREITAS, Allan E. S. In Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos Gramado, 2019. |
|||||||||
Model driven transformation development (MDTD): An approach for developing model to model transformation Magalhães, Ana Patrícia F. ; Andrade, Aline M. S.; Maciel, Rita S. P. In INFORMATION AND SOFTWARE TECHNOLOGY, v. 114, 2019. |
|||||||||
Soluções Computacionais para Avaliação da Aprendizagem por Mapas Conceituais: um Mapeamento Sistemático BOSS, SILVIO ; MATOS, ECIVALDO ; Andrade, Aline In XXX Simpósio Brasileiro de Informática na Educação (SBIE 2019) Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2019. |
|||||||||
Transparent Interoperability Middleware between Data and Service Cloud Layers RIBEIRO, E. ; VIEIRA, M. ; CLARO, D. B. ; SILVA, N. In International Conference on Cloud Computing and Services Science(CLOSER 2018) Lisboa, 2018. |
|||||||||
Byzantine Fault Tolerance in the Partitioned Synchronous System Model SILVA, Wellington L.; RAMOS, Marco A. D. ; MACÊDO, Raimundo J. de A. In VIII Brazilian Symposium on Computing Systems Engineering (SBESC 2018) Salvador, Brazil, 2018. |
|||||||||
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them Zayan, D. ; Sakar, A. ; Michel Oei ; Maciel, Rita Suzana P ; CZARNECKI, K. In Software and Systems Modeling 2018. |
|||||||||
Rede Digital para Integração Social: Experiências da Universidade Federal do Sul da Bahia Macêdo, Raimundo José de Araújo; de SÁ, Alírio Santos In I Workshop de TIC para Desenvolvimento (SBRC 2017 - WTICp/D) Belem, 2017. |
|||||||||
Autonomic Byzantine Replication for Intrusion Tolerance in Cyber-Physical Systems Macêdo, Raimundo José de Araújo. In VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA) Belém, 2017. |
|||||||||
Uma Experiência de Adaptação de Quóruns para Dectecçao de Falhas em Consenso Byzantino no Modelo Síncrono Particionado SILVA, W. L. ; Marco Antonio Dantas Ramos ; Macêdo, Raimundo José de Araújo. In VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA) Belém, 2017. |
|||||||||
Uma Abordagem de Projeto para Mecanismos Autonômicos de Tolerância a Falhas em Sistemas Distribuídos SÁ, Alírio Santos de ; Macêdo, Raimundo José de Araújo In VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA) Belem, 2017. |
|||||||||
Securing IoT-based Cyber-Physical Human Systems against Collaborative Attacks Sathish Kumar ; Ganapathy Mani ; Macêdo, Raimundo José de Araújo ; Bharat Bhargava In 2nd IEEE International Congress on Internet of Things - ICIOT 2017 Honolulu, 2017. |
|||||||||
Principled Evaluation of Strengths and Weaknesses in FLOSS Communities: A Systematic Mixed Methods Maturity Model Approach ANDRADE, SANDRO S.; SARAIVA, F. In The 13th International Conference on Open Source Systems (OSS 2017) Buenos Aires, Argentina, 2017. |
|||||||||
Prediction of Leptospirosis Cases using Classification Algorithms JUNIOR, NIVISON ; Claro, Daniela ; LINDOW, JANET In IET Software (Print), v. 1, p. 1-7 2017. |
|||||||||
Inference Approach to Enhance a Portuguese Open Information Extraction LIMA SENA, CLEITON FERNANDO ; GLAUBER, RAFAEL ; BARREIRO CLARO, DANIELA In 19th International Conference on Enterprise Information Systems Porto, 2017. |
|||||||||
Enhancing MIDAS Towards a Transparent Interoperability Between SaaS and DaaS LIMA SENA, CLEITON FERNANDO ; GLAUBER, RAFAEL ; BARREIRO CLARO, DANIELA In Simpósio Brasileiro de Sistemas de Informação - SBC Porto Alegre, 2017. |
|||||||||
Utilizando Features Linguísticas Genéricas para Classificação de Triplas Relacionais em Português BARBOSA, G. C. G. ; CLARO, D. B. In SBC - Symposium in Information and Human Language Technology (STIL), Uberlandia. Proceedings of 11th Brazilian Symposium in Information and Human Language Technology. Porto Alegre, 2017. |
|||||||||
Nominal Coreference Annotation in IberEval2017: The Case of FORMAS Group SOUZA, M. ; GLAUBER, R. ; OLIVEIRA, L. S. ; SENA, C. F. L. ; CLARO, D. B. In 33th Conference of the Spanish Society for Natural Language Processing (SEPLN 2017). Proceedings of the Second Workshop on Evaluation of Human Language Technologies for Iberian Languages (IberEval). v. 1881. p. 92-101 Murcia, 2017. |
|||||||||
DependentIE: An Open Information Extraction system on Portuguese by a Dependence Analysis. OLIVEIRA, L. S. ; GLAUBER, R. ; CLARO, D. B. In Encontro Nacional de Inteligência Artificial e Inteligência Computacional, 2017, Uberlandia. ENIAC 2017 proceedings Porto Alegre, 2017. |
|||||||||
A Distributed Algorithm to Schedule TSCH Links under the SINR Interference Model. In: Brazilian Symposium on Computing Systems Engineering José Carlos da Silva ; ASSIS, FLÁVIO In Brazilian Symposium on Computing Systems Engineering - SBESC Curitiba, 2017. |
|||||||||
Design and evaluation of probabilistic record linkage methods supporting the Brazilian 100-million cohort initiative PITA, R. ; PINTO, C. ; Barreto, Marcos ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Mauricio In International Journal of Population Data Science, v. 1, p. 203 2017. |
|||||||||
Assessing the accuracy of probabilistic record linkage of social and health databases in the 100 million Brazilian cohort Barreto, Marcos; DENAXAS, S In International Journal of Population Data Science, v. 1, p. 256 2017. |
|||||||||
Towards a Robot Task Ontology Standard BALAKIRSKY, STEPHEN ; SCHLENOFF, CRAIG ; RAMA FIORINI, SANDRO ; REDFIELD, SIGNE ; Barreto, Marcos ; NAKAWALA, HIRENKUMAR ; CARBONERA, JOEL LUÍS ; SOLDATOVA, LARISA ; BERMEJO-ALONSO, JULITA ; MAIKORE, FATIMA ; GONCALVES, PAULO J. S. ; DE MOMI, ELENA ; SAMPATH KUMAR, VEERA R. ; HAIDEGGER, TAMÁS . Towards a Robot Task Ontology Standard In ASME 2017 12th International Manufacturing Science and Engineering Conference collocated with the JSME/ASME 2017 6th International Conference on Materials and Processing. Volume 3: Manufacturing Equipment and Systems. New York: ASME. v. 3. 10 p. Los Angeles, 2017. |
|||||||||
Probabilistic integration of large Brazilian socioeconomic and clinical databases. In: IEEE International Symposium on Computer-Based Medical Systems PINTO, C. ; DANTAS, R. ; BARBOSA, G. ; ARAUJO, B. ; SANTOS JUNIOR, J. B. ; SENA, S. ; REIS, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; ICHIHARA, M. Y. ; BARRETO, Mauricio ; Barreto, Marcos ; DENAXAS, S In Thessaloniki. Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems. New York: IEEE, 2017. v. 1. p. 10-16 New York, 2017. |
|||||||||
Accelerating docking simulation using multicore and GPU systems JESUS, E. M. ; BARRETO, Marcos E. ; GUIMARAES, V. ; SANTOS, N. ; PITA, S. S. R. ; Boratto, Murilo In 17th International Conference on Computational Science and Applications. Springer, 2017. v. 1. p. 10-16 New York, 2017. |
|||||||||
A trainable model to assess the accuracy of probabilistic record linkage PITA, R. ; JESUS, E. M. ; REIS, S. ; Barreto, Marcos ; DENAXAS, S In International Conference on Big Data Analytics and Knowledge Discovery. Berlim: Springer International Publishing AG, 2017. v. 10440. p. 214-227 Berlim, 2017. |
|||||||||
Scaling probabilistic record linkage on multicore and multi-GPU system PINTO, C. ; Boratto, Murilo ; ALONSO, P. ; Barreto, Marcos In 17th International Conference on Computational and Mathematical Methods in Science and Engineering. Almería: CMMSE, 2017. v. 1. p. 10-20 2017. |
|||||||||
uStorage: a storage architecture to provide block-level storage through object-based storage GUTIERREZ, FELIPE ; GARCIA, V. ; CARDOSO, J. F. ; JAMIR, T. ; RODRIGUES NETO, J. ; ASSAD, R. ; BARRETO, Marcos E In European Conference on Service-Oriented and Cloud Computing (ESOCC).Berlim: Springer International Publishing AG, 2017. v. 10465. p. 213-228 2017. |
|||||||||
Ontology for Autonomous Robotics OLSZEWSKA, J. I. ; BARRETO, Marcos E. ; BERMEJO-ALONSO, J. ; CARBONERA, J. L. ; CHIBANI, A. ; FIORINI, S. ; GONCALVES, P. J. S. ; HABIB, M. ; KHAMIS, A. ; OLIVARES, A. ; FREITAS, E. P. ; SILVA JUNIOR, E. P. ; RAGAVAN, V. ; REDFIELD, S. ; SANZ, R. ; SPENCER, B. ; LI, H In 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017). New York: IEEE, 2017. v. 1. p. 189-194 Lisboa, 2017. |
|||||||||
Assessing the accuracy of probabilistic record linkage applied to the Brazilian 100 million cohort project PINTO, C. ; DANTAS, R. ; BARRETO, Marcos E. ; REIS, S. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Maurício L. ; DENAXAS, S In International Conference on Biomedical and Health Informatics (BHI 2017). v. 1. p. 10-10. Orlando, 2017. |
|||||||||
Large-scale data fusion of Brazilian socioeconomic and public health databases BARRETO, Marcos E.; DENAXAS, S In Research Fellows Conference 2017. Research Fellows Conference 2017. London: The Royal Society, 2017. v. 1. p. 1-1 London, 2017. |
|||||||||
Desenvolvimento e validação de aplicações colaborativas sobre uma arquitetura de robótica autônoma OLIVEIRA NETO, A. B. ; BARRETO, Marcos E In Congresso de Pesquisa, Ensino e Extensão da UFBA. v. 1. p. 10-11 Salvador, 2017. |
|||||||||
On the accuracy and scalability of probabilistic data linkage over the Brazilian 114 million cohort PITA, R. ; PINTO, C. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; REIS, S. ; BARRETO, Mauricio ; DENAXAS, S. ; BARRETO, Marcos E In IEEE Journal of Biomedical and Health Informatics, 2017 Salvador, 2017. |
|||||||||
Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time JIMENEZ GIL, SAMUEL ; Bate, Iain ; Lima, George ; SANTINELLI, LUCA ; GOGONEL, ADRIANA ; CUCU-GROSJEAN, LILIANA In IEEE Embedded Systems Letters 2017. |
|||||||||
From RUN to QPS: new trends for optimal real-time multiprocessor scheduling MASSA, Ernesto ; Lima, George ; Regnier, Paul In International Journal of Embedded Systems Pittsburg, 2017. |
|||||||||
A Mechatronic Platform for Measurement and Study of Ultrasonic Wave Fields DOS SANTOS, C. M. ; REGNIER, P. ; PEPE, I. ; ALFONZO, J. ; SILVA, L. ; VIDAL, V. ; JÚNIOR, J. . In SPE Latin America and Caribbean Mature Fields Symposium OnePreto, 2017. |
|||||||||
Minimizing the stakeholder dissatisfaction risk in requirement selection for next release planning PITANGUEIRA, A. M. ; Paolo Tonella ; SUSI, A. ; Maciel, Rita Suzana Pitangueira ; BARROS, M In INFORMATION AND SOFTWARE TECHNOLOGY 2017. |
|||||||||
A Panoramic View of Cloud Computing Adoption from the Literature Perspective Paula, A. C. M. ; CARNEIRO, G. F. ; Maciel, Rita Suzana Pitangueira In JOURNAL OF MANAGEMENT ANALYTICS 2017. |
|||||||||
A Characterization of Cloud Computing Adoption based on Literature Evidence Paula, A. C. M. ; CARNEIRO, G. F. ; MACIEL, RITA SUZANA P. In In: International Conference on Enterprise Information Systems (ICEIS 2017). Proceedings of the International Conference on Enterprise Information Systems Setubal, 2017. |
|||||||||
Enterprise Architecture: An approach to promote traceability and synchronization of computational models Poggio, Rogério ; Maciel, Rita Suzana Pitangueira In Proceedings of the International Conference on Enterprise Information Systems Seturbal, 2017. |
|||||||||
Towards a Models Traceability and Synchronization Approach of an Enterprise Architecture Poggio, Rogério ; MACIEL, RITA SUZANA P In Proceedings of The 29th International Conference on Software Engineering and Knowledge Engineering Pittsburgh, 2017. |
|||||||||
Rompendo a Barreira da Pós-Graduação em Computação na UFBA Macêdo, Raimundo J. de A. In Revista Tempo Digital Salvador, 2016. |
|||||||||
A Cluster Management System for VANETs CAMBRUZZI, EDUARDO ; FARINES, JEAN-MARIE ; KRAUS, WERNER ; Macêdo, Raimundo In International Journal of Intelligent Transportation Systems Research Springer, 2016. |
|||||||||
Performance Evaluation on Cyber-Physical Systems FREITAS, A. E. S.; BEZERRA, R. M. S. In ICIC Express Letters, v. 10, p. 263-270 2016. |
|||||||||
Detecção Automática de Estilos Arquiteturais em Sistemas Distribuídos DIVINO, A. S. A. ; ANDRADE, SANDRO S. In Workshop de Trabalhos de Pós-Graduação (WPOS) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE) Maceió, Al, Brasil, 2016. |
|||||||||
Planejamento Regional Adaptativo em Sistemas Self-Adaptive de Larga Escala SOUSA, G. F. ; ANDRADE, E. S. ; ANDRADE, SANDRO S. In Workshop de Trabalhos de Iniciação Científica e Graduação (WTICGBASE) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE) Maceió, Al, Brasil, 2016. |
|||||||||
Melhoramento Genético On-line como Infraestrutura para Sistemas Self-Adaptive Descentralizados SANTANA, I. J. S. ; ANDRADE, SANDRO S. In Workshop de Trabalhos de Iniciação Científica e Graduação (WTICGBASE) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE) Maceió, AL, Brasil, 2016. |
|||||||||
Uma Representação Visual para Gerenciamento de Emergências em Ambientes Fechados NUNES, F. ; TELES, F. ; Novais, R. L. ; ANDRADE, SANDRO S. ; MARQUES NETO, M. C. In Simpósio Brasileiro de Sistemas de Informação (SBSI) Florianópolis, SC, Brasil, 2016. |
|||||||||
Planejamento Regional Adaptativo em Sistemas Self-Adaptive de Larga Escala ANDRADE, E. S. ; SOUSA, G. F. ; ANDRADE, SANDRO S. In 8º SBCUP - Simpósio Brasileiro de Computação Ubíqua e Pervasiva Porto Alegre, Brasil, 2016. |
|||||||||
Whistle: Um Detector de Defeitos para Sistemas Multiagentes Utilizando a Framework JADE CERQUEIRA JR., A. J. ; GORENDER, S. In Anáis do Workshop de Sistemas Distribuídos Autonômicos Salvador, 2016. |
|||||||||
MIDAS: A Middleware to Provide Interoperability between SaaS and DaaS CIDREIRA, V. ; MARINHO, T. ; CLARO, D. B. ; MANE, B. In SBSI 2016 - Simpósio Brasileiro de Sistemas de Informação. Proceedings do Simpósio Brasileiro de Sistemas de Informação Florianópolis, 2016. |
|||||||||
Classification Model Analysis for the Prediction of Leptospirosis Cases NERY JUNIOR, N. R. R. ; CLARO, D. B. ; LINDOW, J. In CISTI'2016 - 11th Iberian Conference on Information Systems and Technologies, Gran Canaria. Proceedings of the11th Iberian Conference on Information Systems and Technologies. Gran Canaria: AISTI. Gran Canaria, 2016. |
|||||||||
Interoperabilidade entre dispositivos como serviços: uma abordagem interdisciplinar CLARO, DANIELA BARREIRO; JESUS, LUIS ; FERREIRA, ALEXANDRE ; FIGUEIREDO, ROBERTO ; CORREIA, MARIANE ; SENA, CLEITON ; GLAUBER, RAFAEL ; AZEVEDO, WELLINGTON In Interoperabilidade entre dispositivos como serviços: uma abordagem interdisciplinar. In: XXII Workshop de Informática na Escola, 2016. p. 281-290 Uberlandia, 2016. |
|||||||||
Avaliação de Desempenho de Serviços Web SOAP e Restful: estudos de caso para embarcar em dispositivos na Internet das Coisas CLARO, D. B.; PACHECO, G. ; SILVA JUNIOR, M. R. ; VIANNA, A. ; FARIA, I. L. ; BARBOSA, G. C. G. ; PIRES, D. ; DUSSE, F. ; ANDRADE, L. ; FERREIRA, M. ; PITA, R. In I Workshop Brasileiro sobre Internet das Coisas na Educação, 2016. Anais Anais dos Workshops do V Congresso Brasileiro de Informática na Educação (CBIE 2016). Porto Alegre: SBC, 2016. p. 1324-1333 Uberlandia, 2016. |
|||||||||
Classificação de Relações Abertas Utilizando Similaridade Entre Estruturas Gramaticais BARBOSA, G. C. G. ; CLARO, D. B. In : Workshop de Teses e Dissertações em Bancos de Dados (WTDBD) 2016, 2016, Salvador. Anais do 25 Simpósio Brasileiro de Banco de Dados, 2016 Uberlandia, 2016. |
|||||||||
OWL-S ComposerW: Composição de Serviços Web Semânticos SOAP e RESTful BARBOSA, G. C. G. ; CLARO, D. B. In Webmedia, 2016, Teresina. Anais do XII Simpósio Brasileiro de Sistemas Multimídia e Web (Vol. 2): Workshops e Pôsteres. Porto Alegre: SBC, 2016. v. 2. p. 117-120 Porto Alegre, 2016. |
|||||||||
An Algorithm for k-Connectivity under Pure SINR Model ASSIS, FLÁVIO In The 15th International Conference, ADHOC-NOW 2016 - Lecture Notes in Computer Science (LNCS), 2016. v. 9724. p. 65-78 Lille, França, 2016. |
|||||||||
Auto-tuning TRSM with an asynchronous task assignment model on multicore, multi-GPU and coprocessor systems PINTO, CLICIA ; Barreto, Marcos ; Boratto, Murilo In IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA), IEEE, 2016. v. 1. p. 1-8 New York, 2016. |
|||||||||
Avaliação de acurácia em procedimentos de linkage probabilístico em grandes bases de dados ALVES, A. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARBOSA, G. ; Barreto, Marcos ; BARRETO, Maurício L In 61a Reunião Anual da Região Brasileira da Sociedade Internacional de Biometria,EDUFBA, 2016. v. 1. p. 11-11 Salvador, 2016. |
|||||||||
A Estatística na pesquisa com big data FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Maurício L. ; BARRETO, Marcos E In Congresso UFBA 70 Anos, EDUFBA, 2016. v. 1. p. 10-11 Salvador, 2016. |
|||||||||
Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency NASSIFFE, R. ; Camponogara, Eduardo ; Lima, George ; Mossé, Daniel In International Journal of Embedded Systems 2016. |
|||||||||
A minimally intrusive method for analysing the timing of RTEMS core characteristics Nicodemos, Fernando ; Saotome, Osamu ; Lima, George ; Sato, Sandro In International Journal of Embedded Systems 2016. |
|||||||||
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems MASSA, Ernesto ; LIMA, George ; Regnier, Paul ; Levin, Greg ; Brandt, Scott In Real-Time Systems 2016. |
|||||||||
Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements Lima, George; Bate, Iain In 2017 IEEE RealTime and Embedded Technology and Applications Symposium (RTAS) 2016. |
|||||||||
Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look. Lima, George; DIAS, DARIO ; Barros, Edna In 28th Euromicro Conference on RealTime Systems (ECRTS) Toulouse, 2016. |
|||||||||
A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement DIAS, DARIO ; Lima, George ; Barros, Edna In VI Brazilian Symposium on Computing Systems Engineering (SBESC) João Pessoa, Brazil, 2016. |
|||||||||
A Model Driven Transformation Development Process for Model to Model Transformation MAGALHÃES, A. P. ; ANDRADE, A. ; MACIEL, R. S. In Proceedings of the 30th Brazilian Symposium on Software Engineering - SBES 2016 Maringá, 2016. |
|||||||||
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models MACHADO, E. ; ANDRADE, A. M. S. In Lecture Notes of Computer Science Natal, 2016. |
|||||||||
Risk-Aware Multi-Stakeholder Next Release Planning using Multi-Objective Optimization PITANGUEIRA, A. M. ; Paolo Tonella ; SUSI, A. ; Maciel, Rita S. P. ; BARROS, M. In Proc of 22nd International Working Conference on Requirements Engineering: Foundation for Software Qualit Gothenburg, 2016. |
|||||||||
Modelando Serviços a partir de Processos de Negócio: Uma Abordagem Dirigida a Modelos QUEIROZ, J. P. B. ; PROENCIA, E. ; Maciel, R. S. P. In Proceedings of the XII Brazilian Symposium on Information Systems Florianópolis, 2016. |
|||||||||
Interoperability Requirement to Enhance Collaboration in Software Product Lines: A Systematic Mapping NEIVA, F. W. ; CAMPOS, H. ; DAVID, J. M. N. ; Braga, Regina In Anais do XIII Simpósio de Sistemas Colaborativos Porto ALegre, 2016. |
|||||||||
MATRA: A Framework for Assessing Model-Based Approaches on the Transformation Between Requirements and Architecture SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira In 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Proceedings. Berlim: Spring Verlag Eslovenia, 2016. |
|||||||||
A Three-Dimensional Approach for a Quality-Based Alignment Between Requirements and Architecture SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira In Proceedings of The 7th International Conference on Exploring Service Science. Berlim: Spring Verlag Romenia, 2016. |
|||||||||
A Model Driven Transformation Process for Model to Model Transformation MAGALHÃES, A. P. ; Andrade, Aline ; MACIEL, RITA SUZANA P. In SBES '16: Proceedings of the 30th Brazilian Symposium on Software Engineering Maringá, 2016. |
|||||||||
A Spark-based workflow for probabilistic record linkage of healthcare data PITA, R. ; PINTO, C. ; MELO, P. ; SILVA, M. ; Barreto, Marcos ; RASELLA, D. In Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference. Aachen: CEUR, 2015. v. 1330. p. 17-26 Brussel, 2015. |
|||||||||
Assessing the benefits of search-based approaches when designing self-adaptive systems: a controlled experiment Sandro Andrade and Raimundo Macêdo In Journal of Software Engineering Research and Development, Vol. 3, no. 1, ISSN: 2195-1721 Springer, 2015. |
|||||||||
Software requirements selection and prioritization using SBSE approaches: A systematic review and mapping of the literature PITANGUEIRA, A. M. ; Maciel, R. S. P. ; BARROS, M. In The Journal of Systems and Software, v. 103, Issue 1, p. 267-280 Elsevier, 2015. |
|||||||||
Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design MAGALHąS, A. P. ; Maciel, R. S. P. ; Andrade, Aline In SEKE 2015 - 015 International Conference on Software Engineering and Knowledge Engineering SEKE, 2015. |
|||||||||
Assessing the benefits of search-based approaches when designing self-adaptive systems: a controlled experiment ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo In Journal of Software Engineering Research and Development Springer, 2015. |
|||||||||
Avaliando o Impacto da Disseminação Assíncrona de Operações na QoS de Bases de Dados Replicadas MOREIRA, F. L. ; SA, Alírio S. ; FREITAS, A. E. S. In V Workshop de Sistemas Distribuídos Autonômicos Vitória, ES, Brasil, 2015. |
|||||||||
CloudGI, Gerenciando Instâncias de um Serviço Replicado em uma Plataforma de Computação em Nuvem NASCIMENTO, P. S. ; FREITAS, A. E. S. In Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos Vitória, ES, Brasil, 2015. |
|||||||||
Implementação do Protocolo de Lock para Armazenamento DEPSKY NASCIMENTO, P. S. ; FREITAS, A. E. S. In Revista de Sistemas de Informação da FSMA, v. 15, p. 23-2 2015. |
|||||||||
Software Evolution Sonification RAIMUNDO, P. O. ; ANDRADE, SANDRO S. ; Novais, R. L. In III Workshop on Software Visualization, Evolution, and Maintenance (CBSoft) Porto Alegre, Brasil, 2015. |
|||||||||
Semantic-based Clustering of Web Services SILVA, L. J. ; CLARO, D. B. ; LOPES, D. C. P. In Journal of Web Engineering, v. 14, p. 325-345 2015. |
|||||||||
Análise da viralidade em eventos acadêmicos através das redes sociais SANTOS, C. ; CLARO, D. B. In BRASNAM 2015 - IV Brazilian Workshop on Social Network Analysis and Mining. Anais do 35th Congresso da Sociedade Brasileira de Computação (CSBC) Recife, 2015. |
|||||||||
A probabilistic analysis of student retention in a Federal University: A Case Study of a Computer Science Program SANTOS, M. S. ; CLARO, D. B. ; LIMA, V. M. C. In SBIE 2015 - XXVI Simpósio Brasileiro de Informática na Educação, 2015. Anais do Simpósio Brasileiro de Informática na Educação (SBIE) Maceio, 2015. |
|||||||||
Desenvolvimento de um Protocolo para Troca de Dados por meio de Rádio Receptor Regenerativo com Alta Eficiência Energética BLANSKI, J. W. ; SILVA, FLÁVIO MORAIS DE ASSIS ; PEPE, I. M In Abakós, v. 3, p. 83-107 2015. |
|||||||||
A Deterministic and a Randomized Algorithm for Approximating Minimum Spanning Tree under the SINR Model ASSIS, FLÁVIO In The 8th IFIP Wireless and Mobile Networking Conference - WMNC, 2015. v. 1 Munique, Alemanha, 2015. |
|||||||||
Correlação probabilística de bancos de dados governamentais PINTO, C. ; PITA, R. ; MELO, P. ; SENA, S. ; Barreto, Marcos In XXX Simpósio Brasileiro de Banco de Dados - Sociedade Brasileira de Computação (SBC), 2015. v. 1. p. 77-88 Petrópolis, 2015. |
|||||||||
A metropolitan innovation testbed for promoting future Internet research SAMPAIO, L. N. ; OLIVEIRA, L. R. ; BARRETO, Marcos E. ; BEZERRA, R. M. S. ; FREITAS, A. E. S. . BAMBU In Switch On São Paulo Workshop - University of São Paulo Medical School, 2015. v. 1. p. 24-25 São Paulo, 2015. |
|||||||||
Exploração da computação em nuvem para aplicações de bioinformática e robótica CARMO, R. ; BARRETO, Marcos E. ; GONCALVES, G In Seminário Integrado de Ensino, Pesquisa e Extensão, Caderno de resumos do SEMENTE 2015. Salvador: EDUFBA, 2015. v. 1. Salvador, 2015. |
|||||||||
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information SANTOS, J. S. ; ANDRADE, A. M. S. In 17th International Conference on Formal Engineering Methods, ICFEM Paris, 2015. |
|||||||||
On the Specification of Model Transformations through a Platform Independent Approach MAGALHÃES, A. P. ; Andrade, Aline ; Maciel, Rita Suzana Pitangueira In Seke 2015 - 27th International Conference on Software Engineering and Knowledge Engineering Pittsburgh, 2015. |
|||||||||
Exploring a Three-dimensional, Requirements-based, Balanced Scorecard Business Model Salgado, Carlos E. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira In CBIE - 17th Conferencia on Business Informatics Geneve, 2015. |
|||||||||
A three-dimensional, requirements-based, balanced scorecard business model SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira In Proc of 6th International Conference on Information and Communication Systems (ICICS) Amman, 2015. |
|||||||||
Aligning Business Requirements with Services Quality Characteristics by using Logical Architectures SALADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira In Proc. of 3rd World Conference on Information Systems and Technologies Azores, 2015. |
|||||||||
A SoaML Approach for Derivation of a Process-Oriented Logical Architecture from Use Cases SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira In Exploring Services Science - 6th International Conference, {IESS} Porto, 2015. |
|||||||||
A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints NASSIFFE, R. M.; Camponogara, Eduardo; Mosse, Daniel; Lima, George In Proc. of the Brazilian Symposium on Computing Systems Engineering. USA: IEEE Computer Society Los Alamitos, CA, 2014. |
|||||||||
Revealing the secrets of RUN and QPS: new trends for optimal real-time multiprocessor scheduling Massa, Ernesto; Lima, George; Regnier, Paul In Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). Los Alamitos, CA, USA: IEEE Computer Society, 2014. p. 1-6. Manaus, 2014. |
|||||||||
Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. Massa, Ernesto ; Lima, George ; Regnier, Paul ; LEVIN, GREG ; BRANDT, SCOTT In 26th Euromicro Conference on Real-Time Systems. p. 291-300 Madrid, 2014. |
|||||||||
Support for bioinformatics applications through volunteer and scalable computing frameworks GUTIERREZ, FELIPE ; AZEVEDO, DANILO ; Barreto, Marcos ; ZUCOLOTO, RODRIGO In IEEE International Conference on Cluster Computing (CLUSTER). v. 1. p. 364-370. Madrid, 2014. |
|||||||||
Automatic routine tuning to represent landform attributes on multicore and multi-GPU systems BORATTO, Murilo C. ; ALONSO, P. ; GIMENE, D. ; BARRETO, Marcos E In Journal of Supercomputing, Vol. 70, Issue 2, pp. 733-745 Springer, 2014. |
|||||||||
Protocolos Auto-Gerenciáveis de Consenso para Sistemas Distribuídos Parcialmente Síncronos Alirio Sá and Raimundo José de Araújo Macêdo and Heverton Santos Queiroz In Proceedings of the 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014) Florianópolis, Brazil, 2014. |
|||||||||
Um Mecanismo de Auto-gestão para Sistemas de Armazenamento de Dados Replicados nas Nuvens Fabiola de Lima Moreira and Alirio Sá In Proceedings of the 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014) Florianópolis, Brazil, 2014. |
|||||||||
Um Protocolo de Roteamento Adaptativo a Carga de Bateria e a presença de falhas em Redes Moveis Ad hoc Bruno Santos and Sérgio Gorender In Anais do IV Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2014) Brasil, 2014. |
|||||||||
Um Protocolo de Roteamento Dinamico para Redes Veiculares Margarete Sa and Sérgio Gorender In Anais do IV Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2014) Brasil, 2014. |
|||||||||
A performance evaluation tool for hybrid and dynamic distributed systems Allan Edgard and Raimundo Macêdo In ACM SIGOPS - Operating Systems Review, Vol. 4, Issue 1, pp. 11-18 ACM, 2014. |
|||||||||
Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; Macêdo, Raimundo José Araújo; ANDRADE, Aline Maria Santos In ANAIS do X Simpósio Brasileiro de Sistemas de Informação - SBSI, v. 1. p. 1-8 Londrina, 2014. |
|||||||||
A Systematic Model-Based Approach for Feedback Control Trade-Off Evaluation in Autonomic Systems ANDRADE, Sandro Santos ; Macêdo, Raimundo José Araújo In Proceedings of the IV Workshop on Autonomic Distributed Systems, v. 1. p. 1-4 Brasilia, 2014. |
|||||||||
Do Search-Based Approaches Improve the Design of Self-Adaptive Systems ? A Controlled Experiment ANDRADE, Sandro Santos ; Macêdo, Raimundo José Araújo In Proceeding of the 28th Brazilian Symposium on Software Engineering (SBES 2014), v. 1. p. 1-10 IEEE, 2014. |
|||||||||
Extração de Relações utilizando Features Diferenciadas para Português SOUZA, E. N. P. ; CLARO, D. B. In Linguamática (Braga), v. 6, p. 57-65 2014. |
|||||||||
Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário FIGUEIREDO, R. ; CLARO, D. B. ; MACEDO, R. J. A. ; ANDRADE, A. M. S. In X Simpósio Brasileiro de Sistemas de Informação (SBSI). Anais do X Simpósio Brasileiro de Sistemas de Informação Londrina, 2014. |
|||||||||
Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency Camponogara, Eduardo; Lima, George; MOSSE, DANIEL; NASSIFFE, RIAD In III Brazilian Symposium on Computing Systems Engineering. p. 101-106 Niteroi, 2013. |
|||||||||
RTEMS Core Analysis for Space Applications Nicodemos, Fernando; Saotome, Osamu; Lima, George In III Brazilian Symposium on Computing Systems Engineering. p. 125-130. Niteroi, 2013. |
|||||||||
Multiprocessor Real-Time Scheduling with a Few Migrating Tasks JUNIOR, J. AUGUSTO SANTOS; Lima, George; BLETSAS, KONSTANTINOS; Kato, Shinpei In IEEE 34th Real-Time Systems Symposium. p. 170-181 Vancouver, 2013. |
|||||||||
Optimizing QoS in energy-aware real-time systems NASSIFFE, R. M. ; Camponogara, Eduardo ; LIMA, George In SIGBED Review, v. 10, p. 25-25, 2013. 2013. |
|||||||||
Efficient schedulability tests for real-time embedded systems with urgent routines SANTOS, J. AUGUSTO ; Lima, George ; BLETSAS, KONSTANTINOS In Design Automation for Embedded Systems, v. 1, p. 1-20, 2013. 2013. |
|||||||||
Robot ontologies for sensor- and Image-guided surgery. HAIDEGGER, TAMAS ; Barreto, Marcos ; GONCALVES, PAULO J. S. ; HABIB, MAKI K. ; RAGAVAN, S. VEERA ; LI, HOWARD ; VACCARELLA, ALBERTO ; PERRONE, ROBERTA ; PRESTES, EDSON In IEEE International Symposium on Robotic and Sensors Environments (ROSE). v. 1. p. 19-24.. Washington, 2013. |
|||||||||
Defining positioning in a core ontology for robotics CARBONERA, JOEL LUIS ; RAMA FIORINI, SANDRO ; PRESTES, EDSON ; JORGE, VITOR A. M. ; ABEL, MARA ; MADHAVAN, RAJ ; LOCORO, ANGELA ; GONCALVES, PAULO ; HAIDEGGER, TAMAS ; BARRETO, Marcos E. ; SCHLENOFF, CRAIG . In International Conference on Intelligent Robots and Systems. v. 1. p. 1867-1872. Tokyo, 2013. |
|||||||||
Providing volunteer computing at the infrastructure level to support e-science applications GUTIERREZ, F. O. ; Barreto, Marcos ; GOMES, A. T. . In Anais do XXXIII Congresso da Sociedade Brasileira de Computacao (CSBC). Porto Alegre: SBC, 2013. v. 1. p. 1879-1887. Porto Alegre, 2013. |
|||||||||
Auto-tuning methodology to represent landform attributes on multicore and multi-GPU systems Boratto, Murilo ; Alonso, Pedro ; GIMENEZ, DOMINGO ; Barreto, Marcos ; OLIVEIRA, KAROLYNE In Proceedings of the International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2013). New York: ACM Press. v. 1. p. 125-132. New York, 2013. |
|||||||||
Towards a core ontology for robotics and automation PRESTES, EDSON ; CARBONERA, J. L. ; FIORINI, S. R. ; JORGE, V. A. M. ; ABEL, M. ; MADHAVAN, RAJ ; LOCORO, A. ; GONCALVES, PAULO J. S. ; Barreto, Marcos ; HABIB, MAKI ; CHIBANI, ABDELGHANI ; GERARD, SEBASTIEN ; AMIRAT, Y. ; SCHLENOFF, C. In Robotics and Autonomous Systems, Vol. 61, Issue 11 Elsevier, 2013. |
|||||||||
Ubiquitous robotics: Recent challenges and future trends CHIBANI, ABDELGHANI ; AMIRAT, YACINE ; MOHAMMED, S. ; MATSON, E. ; HAGITA, N. ; Barreto, Marcos . In Robotics and Autonomous Systems, Vol. 61, Issue 11 Elsevier, 2013. |
|||||||||
Applied ontologies and standards for service robots. Robotics and Autonomous Systems HAIDEGGER, T. ; BARRETO, Marcos E. ; GONCALVES, P. J. S. ; HABIB, M. ; RAGAVAN, V. ; LI, H. ; VACCARELLA, ALBERTO ; PERRONE, R. ; SILVA JUNIOR, E. P. In Robotics and Autonomous Systems, Vol. 61, Issue 11 Elsevier, 2013. |
|||||||||
Maximum Lifetime Broadcast in Mobile Sensor Networks Bruno Nunes, Frederico Barboza and Flávio Assis In International Conference on Ad Hoc Networks and Wireless - ADHOCNOW 2013 - Lecture Notes in Computer Science (LNCS) Polônia, 2013. |
|||||||||
Adaptive Request Batching for Byzantine Replication Alírio Santos de Sá and Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo In ACM SIGOPS Operating Systems Review, ACM, v. 47, n. 1 2013. |
|||||||||
Dos Sistemas Distribuídos Self-aware Raimundo José de Araújo Macêdo and Allan Edgard Silva Freitas In Proceedings of the 3rd Workshop on Autonomic Distributed Systems (WoSiDA 2012) Brasilia, Brazil, 2013. |
|||||||||
Enhancing Group Communication with Self-Manageable Behavior Raimundo José de Araújo Macêdo and Allan Edgard Silva Freitas and Alirio Sá In Journal of Parallel and Distributed Computing (JPDC'2013), v. 73, n. 4, p.420-433 Elsevier, 2013. |
|||||||||
Just-in-Time Clouds: Uma abordagem para Federação de Clouds Privadas Edigley Fraga and Jonathan Brilhante and Rostand Costa and Francisco Brasileiro and Pedro Bignatto and Diego Desani and Hermes Senger and Airton Pereira and Vinícius Garcia and Rodrigo Assad and Fernando Trinta and Ana Cristina Oliveira and Henryson Chagas and Aleciano Ferreira and Marco Spohn and Reinaldo Gomes and Philippe Navaux and Eduardo Roloff and Otávio Carvalho and Marcos Barreto and Raimundo José de Araújo Macêdo and Alirio Sá In Anais do XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2013) Brasília, Brasil, 2013. |
|||||||||
Composição autonômica de serviços web para prevenir ou minimizar interaçõees de características Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; De Araujo Macedo, Raimundo ; ANDRADE, Aline Maria Santos In Anais do III Workshop on Autonomic Distributed Systems (Wosida),p. 35-38 Brasilia, 2013. |
|||||||||
MTP: Model Transformation Profile Mascarenhas, Ana Patrícia Fontes Magalhães ; Andrade, Aline Maria Santos ; Maciel, Rita Suzana Pitangueira In Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) Brasília, Brasil, 2013. |
|||||||||
Toward the Revision of CTL Models through Kripke Modal Transition Systems Guerra, P. T. ; Andrade, Aline M. S. ; Wassermann, R. In Proceedings of the 16th Brazilian Symposium on Formal Methods (SBMF 2013) Brasília, Brazil, 2013. |
|||||||||
An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking Silva, R. C. B. A. ; Andrade, Aline M. S. ; Costa, A. L. ; Barboza, F. J. R. In Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2013) São Paulo, Brasil, 2013. |
|||||||||
Supporting model-driven development using a process-centered software engineering environment Maciel, R. S. P. ; GOMES, R. A. ; MAGALHÃES, A. P. ; Silva, Bruno Carreiro da ; QUEIROZ, J. P. B. In Automated Software Engineering, v. 20, Issue 3, pp 427-461 Springer, 2013. |
|||||||||
AN ONTOLOGY FOR A FAULT TOLERANT TRAFFIC INFORMATION SYSTEM GORENDER, S. ; Silva, I . In 22nd International Congress of Mechanical Engineering (COBEM 2013) Ribeirão Preto, 2013. |
|||||||||
Uma Arquitetura de Rede para Serviços de Comunicação Autonomos Sá Margarete ; GORENDER, S. In Workshop de Sistemas Distribuídos Autonomos Brasília, 2013. |
|||||||||
Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task SANTOS JR., J. AUGUSTO ; Lima, George In Brazilian Symposium on Computing System Engineering. p. 131 Natal, 2012. |
|||||||||
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach Regnier, Paul ; Lima, George ; Massa, Ernesto ; LEVIN, GREG ; BRANDT, SCOT In Real-Time Systems, v. 29, p. 436-474, 2012 2012. |
|||||||||
Optimizing quality of service in real-time systems under energy constraints Nassiffe, Riad ; Camponogara, Eduardo ; Lima, George In Operating Systems Review, v. 46, p. 82-92, 2012. |
|||||||||
Towards an upper ontology and methodology for robotics and automation PRESTES, EDSON ; CHIBANI, ABDELGHANI ; SAFFIOTTI, ALESSANDRO ; SCHLENOFF, CRAIG ; GERARD, SEBASTIEN ; SANZ, RICARDO ; BARRETO, Marcos E. ; MADHAVAN, RAJ ; AMIRAT, YACINE In Proceedings of the 2012 ACM Conference on Ubiquitous Computing - UbiComp '12. New York: ACM Press. v. 1. p. 873-882. New York, 2012. |
|||||||||
Nesting the context for pervasive robotics HAIDEGGER, TAMAS ; BARRETO, Marcos E. ; GONCALVES, PAULO J. S. ; HABIB, MAKI ; RAGAVAN, VEERA ; SCHLENOFF, CRAIG ; VACCARELLA, ALBERTO ; PRESTES, EDSON In Proceedings of the 2012 ACM Conference on Ubiquitous Computing - UbiComp '12. New York: ACM Press. v. 1. p. 826-833. New York, 2012. |
|||||||||
Parallel algorithm for landform attributes representation on multicore and multi-GPU systems BORATTO, Murilo C. ; BARRETO, Marcos E. ; COELHO, L. ; RAMIRO, C. ; ALONSO, P. In Procedia Computer Science. Amsterdam: Elsevier. v. 9. p. 47-56. Omaha, 2012. |
|||||||||
Heterogeneous Computational Model for Landform Attributes Representation on Multicore and Multi-GPU Systems Boratto, Murilo ; Alonso, Pedro ; Ramiro, Carla ; BARRETO, Marcos E. In Lecture Notes in Computer Science (LNCS). Berlin Heidelberg: Springer-Verlag, 2012. v. 7333. p. 29-43. Salvador, 2012. |
|||||||||
A Localized Algorithm for the Maximum Lifetime Broadcast Problem with Asymmetric Edge Costs Bruno Nunes, Frederico Barboza and Flávio Assis In International Conference on Ad Hoc Networks and Wireless - ADHOCNOW 2013 - Lecture Notes in Computer Science (LNCS) Cambridge, Massachusetts, 2012. |
|||||||||
Impacto de Métricas de QoS no Desempenho de Detectores Auto-gerenciáveis de Defeitos para Sistemas Distribuídos Alírio Sá and Raimundo Macêdo In Anais do XXX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012) Ouro Preto, 2012. |
|||||||||
Acompanhamento e Prescrição Assistida através de um Sistema de Controle de Anticoagulação SANTOS A. M..; CLARO, D.B.; BARRETO L. P., GERALDES, M. F. A., ALMEIDA, G. Q. In Anais do Escola Regional de Informática Bahia, Sergipe e Alagoas (XII ERBASE/WTICG) Juazeiro, Bahia Brasil, 2012. |
|||||||||
Auto-Configuração de Máquina de Estados Tolerante a Falhas Bizantinas Alirio Sá and Allan Edgard and Raimundo Macêdo In Anais do II Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2012) Ouro Preto, MG, Brasil, 2012. |
|||||||||
Discovering cloud services by preconditions and effects for compositions ERDENS L.; CLARO, D.B.; LOPES D. C. P.; ALBERS P. In Proceedings of the14th International Conference on Enterprise Information Systems (ICEIS) Wroclaw, Poland, 2012. |
|||||||||
Generating correct compositions of semantic web services with respect to temporal constraints CLARO, D.B. ; MACHADO, E. Z. A. ; ANDRADE, A. M. S. In Proceedings of the 18th Brazilian Symposium on Multimedia and the Web (WEBMEDIA) São Paulo, Brazil, 2012. |
|||||||||
A Vision on Autonomic Distributed Systems Raimundo José de Aráujo Macêdo In Anais do III Workshop on Autonomic Distributed Systems (WoSiDA2012) Ouro Pretio, MG, Brazil, 2012. |
|||||||||
Request Batching Self-Configuration in Byzantine Fault-Tolerant Replication Alírio Santos de Sá and Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo In Proceedings of the 2nd Brazilian Symposium on Computing System Engineering: Operating Systems Workshop (SBESC-WSO 2012) Natal, Brazil, 2012. |
|||||||||
Abstract Specification and Formalization of an Operating System Kernel in Z Luciano Barreto and Aline Andrade and Adolfo Duran and Caique Lima and Ademilson Lima In Operating Systems Review, v. 45, n. 1, pp. 156-160 ACM, 2011. |
|||||||||
A Self-Manageable Group Communication Protocol For Partially Synchronous Distributed Systems Raimundo José de Araújo Macêdo and Allan Freitas and Alírio Sá In Proceedings of Fifth Latin-American Symposium on Dependable Computing São José dos Campos, Brazil, 2011. |
|||||||||
Integração do mecanismo de Self-healing no tratamento das Composição de Sistemas de Informação através dos Serviços Web Semânticos FERREIRA, M. R. AND CLARO, D. B. AND LOPES, D. C. P. In VII Simpósio Brasileiro de Sistemas de Informação Salvador, Bahia, 2011. |
|||||||||
Um Algoritmo Eficiente de Consenso Distribuído para o Modelo Síncrono Particionado Sérgio Gorender and Raimundo José de Araújo Macêdo In Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos Campo Grande, 2011. |
|||||||||
MASPOT: A Mobile Agent System for Sun SPOT Ramon Lopes and Flávio Assis and Carlos Montez In Proceedings of the 10th IEEE International Symposium on Autonomous Decentralized Systems (ISADS 2011) Kobe, Japan, 2011. |
|||||||||
A Topology Control Algorithm for Interference and Energy Efficiency in Wireless Sensor Networks Hugo Braga and Flávio Assis In Proceedings of the 10th International Conference on Ad Hoc Networks and Wireless ADHOC-NOW 2011 - LNCS (Lecture Notes in Computer Science) 6811 Paderborn, Germany, 2011. |
|||||||||
Improving Web Service Discovery by a Functional and Structural Approach Claro, Daniela ; AMORIM, R. ; Denivaldo Lopes ; Patrick Albers ; ANDRADE, A. M. S. In Proceedings of the 9th International Conference of Web Services (ICWS'2011), pp. 411-418 Washington D.C., 2011. |
|||||||||
A Localized Algorithm based on Minimum Cost Arborescences for the MECBS Problem with Asymmetric Edge Costs Frederico Barboza and Flávio Assis In Proceedings of the Third International ICST Conference on Ad Hoc Networks - ADHOCNETS 2011 Paris, France, 2011. |
|||||||||
An MDA Approach to Model Transformation Development MAGALHÃES, Ana Patrícia; Andrade, Aline; MACIEL, R. S.; FARINES, J. M. In In: II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos São Paulo, Brasil, 2011. |
|||||||||
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems Muniz, Andre L. N. ; Andrade, Aline M. S. ; Lima, George In Innovations in Systems and Software Engineering (Print), v. 6, p. 29-37 2010. |
|||||||||
Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers With Support for Stochastic Processor Consumption Camponogara, Eduardo ; Oliveira, Augusto Born ; Lima, George In IEEE Transactions on Industrial Informatics, v. 6, p. 594-609 2010. |
|||||||||
Sistema de Agentes Móveis para Sun SPOT Lopes, R. ; ASSIS, F. ; Montez, C.B. In WTICG-BASE 2010 (Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Alagoas-Sergipe) Maceió, AL, 2010. |
|||||||||
A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling Ernesto Massa and George Lima In Proc. of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium Stockholm, Sweden, 2010. |
|||||||||
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems André Muniz and Aline Andrade and George Lima In Innovations in Systems and Software Engineering, v. 6, n. 1-2, pp 29-37 Springer-Verlag, 2010. |
|||||||||
Exploiting Partitioned Synchrony to Implement Accurate Failure Detectors Raimundo Macêdo and Sérgio Gorender In International Journal of Critical Computer-Based Systems (IJCCBS) USA, 2010. |
|||||||||
QoS Self-Configuring Failure Detectors For Distributed Systems Alírio Sá and Raimundo Macêdo In 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS) Amsterdam-Holland, 2010. |
|||||||||
Explorer Pattern Tool Adaptive: Uma Ferramenta para Mineração de Dados Utilizando Algoritmos Genéticos Adaptativo Lorena Mascarenhas and Daniela Barreiro Claro In WTICG/ERBASE (Escola Regional de Informática - Bahia, Alagoas, Sergipe) Maceió/AL, 2010. |
|||||||||
Ampliando a Disponibilidade e Confiabilidade em Ambientes de Serviços Web Stateful Igor Nogueira and Daniela Barreiro Claro and Marcelo Luz In WTF (Workshop de Testes e Tolerância a Falhas) / SBRC2010 Gramado/RS - Brazil, 2010. |
|||||||||
Group Communication for Self-Aware Distributed Systems Raimundo Macêdo and Allan Freitas In Proceedings of the XXVIII Brazilian Symposium on Comptuter Network and Distributed Systems (SBRC) Gramado, RS, BRASIL, 2010. |
|||||||||
Consenso com Recuperação no Modelo Partitioned Synchronous Sérgio Gorender e Raimundo Macêdo In Anáis do XI Workshop de Testes e Tolerância a Falhas Gramado, Brazil, 2010. |
|||||||||
Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas Sérgio Gorender, Raimundo Macêdo e Waltemir Pacheco Júnior In Anáis do XI Workshop de Testes e Tolerância a Falhas Gramado, Brazil, 2010. |
|||||||||
Detectores de Defeitos Autonômicos para Sistemas Distribuídos Alírio Sá and Raimundo Macêdo In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) Gramado, RS, Brasil, 2010. |
|||||||||
Similaridade Semântica na Composição de Sistemas de Informação através dos Serviços Web Vanessa Aline Sena and Daniela Barreiro Claro and Rodrigo Amorim and Denivaldo Lopes In VI Simpósio Brasileiro de Sistemas de Informação (SBSI 2010) Marabá/PA, 2010. |
|||||||||
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems André L. N. Muniz and Aline M. S. Andrade and George Lima In Journal of Innovations in Systems and Software Engineering (Springer) Volume 6, Numbers 1-2, p.29-37, 2010. |
|||||||||
Trabalhando com alunos de ensino fundamental e médio para a descoberta de talentos em computação: um relato de experiências Efraim Zalmoxis de Almeida Machado and Igor Rodrigo Vasconcelos and Karla Malta Amorim and Aline M. S. Andrade and Luciano Porto Barreto In Anais do Workshop de Inclusão Digital (WIND 2010) Maceió, Brazil, 2010. |
|||||||||
Uma Abordagem Adaptativa para Detecção de Falhas em Redes Veiculares Ad hoc Eduardo Cambruzzi and Jean-Marie Farines and Raimundo Macêdo and Kraus Werner In Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) Gramado, RS, Brasil, 2010. |
|||||||||
Uma Experiência em Escolas de Ensino Médio e Fundamental para a Descoberta de Jovens Talentos em Computação MACHADO, E. Z. A. ; Vasconcelos, I. R. S. ; Amorim, K. M. ; ANDRADE, A. M. S. ; BARRETO, L. P. ; ABDALLA, Débora In In: Workshop de Educação em Informática (WEI'2010) Belo Horizonte, MG, Brasil, 2010. |
|||||||||
An Adaptive Failure Detection System for Vehicular Ad-hoc Networks Eduardo Cambruzzi and Jean-Marie Farines and Raimundo Macêdo and Kraus Werner In 2010 IEEE Intelligent Vehicles Symposium (IV 2010) San Diego, USA, 2010. |
|||||||||
Avaliação sobre a inclusão de estimadores baseados em filtragem de Kalman em sistemas de controle via rede Tanisia Foletto and Victor Moraes and Ubirajara Moreno and Alírio Sá and Raimundo Macêdo In XVIII Congresso Brasileiro de Automática Bonito MS, 2010. |
|||||||||
A Tool for Simulating Mobile Agent Applications on Wireless Sensor Networks Marcos Camada and Carlos Montez and Flávio Assis In Proceedings of the WTR2010 - 12th Brazilian Workshop on Real-Time and Embedded Systems Gramado, RS, 2010. |
|||||||||
Especificação Abstrata do Núcleo de um Sistema Operacional e sua Formalização na Linguagem Z BARRETO, L. P. ; Andrade, Aline M. S. ; DURAN, A. A. ; Lima, C. S. L. ; Lima, A. S. In In: VII Workshop de Sistemas Operacionais (WSO'2010) Belo Horizonte, MG, Brasil, 2010. |
|||||||||
An Approach for Model Driven Testing: framework, metamodels and tools Helaine Souza AND Denivaldo Lopes AND Zair Abdelouahab AND Daniela Claro AND Slimane Hammoudi In International Journal of Computer Systems Science and Engineering 2010. |
|||||||||
Requisitos de um Framework para Gerenciamento de Agentes Móveis em Redes de Sensores Sem Fio Oliveira, R. ; ASSIS, F. ; Montez, C.B In WTICG - Workshop de Trabalhos de Iniciação Científica e de Graduação Ilhéus, Bahia, 2009. |
|||||||||
Perfect Failure Detection in the Partitioned Synchronous Distributed System Model Raimundo Macêdo and Sérgio Gorender In Proceedings of the The Fourth International Conference on Availability, Reliability and Security (ARES 2009), IEEE CS Press. Fukuoka, Japan, 2009. |
|||||||||
A Step Forward in Semi-Automatic Metamodel Matching: Algorithms and Tool José Geraldo Sousa and Denivaldo Lopes and Daniela Barreiro Claro and Zair Abdelouahab In 11th International Conference on Enterprise Information Systems (ICEIS2009). Lecture Notes in Business Information Processing (Springer) Milan, Italy, 2009. |
|||||||||
Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach Augusto Born de Oliveira and Eduardo Camponogara and George Lima In 15th IEEE Real-Time and Embedded Technology and Applications Symposium. San Francisco, EUA, 2009. |
|||||||||
Gerenciando o desenvolvimento de uma composição de Serviços Web Semânticos através do OWL-S Composer André de Amorim Fonseca and Daniela Barreiro Claro and Denivaldo Cícero Pavão Lopes In Proceedings of the 5th Brazilian Symposium of Information Systems (SBSI2009) Brasilia, DF, Brazil, 2009. |
|||||||||
A Non-Intrusive Component-Based Approach for Deploying Unanticipated Self-Management Behaviour Sandro Santos Andrade and Raimundo José de Araújo Macêdo In Proceedings of IEEE ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems Vancouver, CANADA, 2009. |
|||||||||
A Generic Group Communication Approach for Hybrid Distributed Systems Raimundo Macêdo and Allan Freitas In 9th IFIP international conference on Distributed Applications and Interoperable Systems (LNCS, Springer) Lisbon, Portugal, 2009. |
|||||||||
A Topology Control Algorithm for Wireless Sensor Networks that Considers Overhearing Flávio M. Assis Silva and Ulisses Telemaco Neto In The 9th IEEE International Symposium on Autonomous Decentralized Systems - ISADS 2009 Athens, Greece, 2009. |
|||||||||
Um Ambiente para Testes e Simulações de Protocolos Confiáveis em Sistemas Distribuídos Híbridos e Dinâmicos Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo In Proceedings of 27th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC2009) Recife, Pernambuco, Brasil, 2009. |
|||||||||
Simulation Scenarios: a Means of Deriving Fault Resilience for Real-Time Systems George Lima, Flávia Maristela Nascimento In 11th Brazilian Workshop on Real-Time and Embedded Systems Recife - PE, 2009. |
|||||||||
Experimental Analysis of Bandwidth Reservation Adaptive Schemes for Real-Time Systems Augusto Born de Oliveira, George Lima, Eduardo Camponogara In 11th Brazilian Workshop on Real-Time and Embedded Systems Recife - PE, 2009. |
|||||||||
On the Use of Hard and Soft Reservation Schemes in Constant Bandwidth Servers Alexandre Passos, George Lima In 11th Brazilian Workshop on Real-Time and Embedded Systems Recife - PE, 2009. |
|||||||||
Aspectos de Replicação em Serviços Web Stateful através do Axis2 Igor Nogueira and Daniela Barreiro Claro In WTICG/ERBASE 2009 Ilhéus, Bahia, 2009. |
|||||||||
Explorer Pattern Tools: Uma Ferramenta para Mineração de Dados Utilizando Algoritmos Genéticos Joilma Santos and Daniela Barreiro Claro In WTICG/ERBASE 2009 - 2º lugar na premiação dos Melhores Trabalhos do WTICG 2009 Ilhéus, Bahia, 2009. |
|||||||||
Uma Análise Conceitual das Linguagens Semânticas de Serviços Web focando nas composições: comparação entre OWL-S, WSMO e SAWSDL Douglas Oliveira and Cinara Menegazzo and Daniela Barreiro Claro In IADIS Conferência Ibero-Americana WWW/Internet (CIAWI 2009) Alcalá - Madrid, Spain, 2009. |
|||||||||
Uma Proposta de Detector de Defeitos Autonômico Usando Engenharia de Controle Alírio Sá and Raimundo Macêdo In X Workshop de Testes e Tolerância a Falhas (WTF 2009) João Pessoa, 2009. |
|||||||||
Deriving a Fault Resilience Metric for Real-Time Systems Flávia Maristela Nascimento and George Lima and Verônica Cadena Lima In Workshop de Testes e Tolerância a Falhas João Pessoa/PB, 2009. |
|||||||||
An Integrated Approach for Model Driven Process Modeling and Enactment Rita Suzana Pitangueira Maciel AND Bruno Carreiro da Silva AND Ana Patrícia Fontes Magalhães AND Nelson Souto Rosa In Anais do XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009) Fortaleza, 2009. |
|||||||||
Transforms: Um Ambiente de Apoio a Modelagem e Execução de Processos de Software Dirigido por Modelos Bruno C. da Silva and Ana Patrícia F. Magalhães and Rita Suzana P. Maciel and In XXIII Simpósio Brasileiro de Engenharia de Software - XVI Sessão de Ferramentas, 2009. |
|||||||||
An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima In Journal of Universal Computer Science, vol. 15, no. 11 (2009), 2142-2165 http://www.jucs.org/jucs_15_11, 2009. |
|||||||||
Building Test Cases through Model Driven Engineering Helaine Sousa and Denivaldo Lopes and Zair Abdelouahab and Slimane Hammoudi and Daniela Barreiro Claro In IEEE International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering(CISSE 09) Springer Netherlands, 2009. |
|||||||||
Uma Ferramenta para Verificação Formal de Sistemas de Tempo Real Baseados em Componentes a partir de Diagramas UML Paulo H. O. Souza and André L. N. Muniz, Aline M. S. Andrade In Anais do WTICG 2009 Ilhéus, Bahia, Brazil, 2009. |
|||||||||
Implementação da política EDF no Xenomai José Augusto Santos Jr and George Lima In VI Workshop de Sistemas Operacionais Bento Gonçalves, 2009. |
|||||||||
Aplicação e Análise de Teoria de Controle Realimentado no Tratamento de Faltas de Páginas em Sistemas de Gerenciamento de Memória Ivo Santos Cavalcante Carneiro and Luciano Porto Barreto and Alirio Sá In Anais do VI Workshop de Sistemas Operacionais (WSO'2009) Bento Gonçalves, Brasil, 2009. |
|||||||||
Supporting Awareness in Groupware through an Aspect-Oriented Middleware Service Maciel, R. S. P. ; DAVID, J. M. N. ; Michel Oei ; Bastos, Adriano A. ; Menezes, Leandro In Journal of Universal Computer Science (Online), v. 15, Issue 9, p. 1945-1969 JUCS, 2009. |
|||||||||
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems Frederico J.R. Barboza and Aline M.S. Andrade , Flávio Assis Silva AND George Lima In Electronic Notes in Theoretical Computer Science Elsevier, 2008. |
|||||||||
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time System BARBOZA, F.; ANDRADE, A.; SILVA, F.; LIMA, G. In Electronic Notes in Theoretical Computer Science, v. 195, p. 3-20 Elsevier, 2008. |
|||||||||
Online Schedulability Tests for Real-Time Systems George Lima and Ana Carolina Sokolonski and Eduardo Camponogara In X Workshop de Tempo Real e Sistemas Embarcados Rio de Janeiro, 2008. |
|||||||||
Detectores Perfeitos em Sistemas Distribuídos Não Síncronos Raimundo Macêdo and Sérgio Gorender In IX Workshop de Teste e Tolerância a Falhas (WTF 2008) Rio de Janeiro, Brasil, 2008. |
|||||||||
Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas Neima Santos and Raimundo Macêdo and Luciano Barreto In Anais do IX Workshop de Teste e Tolerância a Falhas (WTF 2008) Rio de Janeiro, Brasil, 2008. |
|||||||||
A GA-Based Approach to Dynamic Reconfiguration of Real-Time Systems Marco Simões and George Lima and Eduardo Camponogara In Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 08) St. Louis, MO, USA, 2008. |
|||||||||
Dynamic Reconfiguration of Constant Bandwidth Servers Augusto Born de Oliveira and Eduardo Camponogara and George Lima In 10th Brazilian Workshop on Real-Time and Embedded Systems Rio de Janeiro, Brazil, 2008. |
|||||||||
Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems George Lima and Eduardo Camponogara and Ana Carolina Sokolonski In 20th IEEE Euromicro Conference on Real-Time Systems (ECRTS 2008) Prague, Czech Republic, 2008. |
|||||||||
Estimating Execution Time Probability Distributions in Component-based Real-Time Systems Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima In Proceedings of the 10th Brazilian Workshop on Real-time and Embedded Systems Rio de Janeiro, Brasil, 2008. |
|||||||||
Dependable Web Service Compositions using a Semantic Replication Scheme Daniela Barreiro Claro and Raimundo José de Araújo Macêdo In Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2008) Rio de Janeiro, RJ, Brasil, 2008. |
|||||||||
Explorer Fuzzy Tree: uma ferramenta para experimentação de técnicas de classificação baseadas em árvores de decisão fuzzy Erick Nilsen Pereira de Souza and Daniela Barreiro Claro In ERBASE 2008 - WTICG-BASE (Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe) Salvador, Bahia, 2008. |
|||||||||
Avaliação do determinismo temporal no tratamento de interrupções em plataformas de tempo real Linux Paul Regnier and George Lima and Luciano Barreto In Anais do 5o. Workshop de Sistemas Operacionias Belém - Pará, 2008. |
|||||||||
Um Procedimento para Avaliação de Redes Ethernet Comutada Baseada em uma Métrica de Qualidade de Controle Alírio Sá and Raimundo Macêdo and Tito Santos and Ubirajara Moreno In XVII Congresso Brasileiro de Automática (CBA) Juiz de Fora, Minas Gerais, Brasil, 2008. |
|||||||||
Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real Baseados em Componentes Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima In II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008) Porto Alegre, 2008. |
|||||||||
Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos Jaguaraci Batista Silva and Luciano Porto Barreto In II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS) Porto Alegre, 2008. |
|||||||||
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol Paul Regnier and George Lima and Aline Andrade In Anais do XI Simpósio Brasileiro de Métodos Formais (SBMF 2008) Salvador, 2008. |
|||||||||
Personalized Reliable Web service Compositions Daniela Barreiro Claro and Oriana Licchelli and Patrick Albers and Raimundo José de Araújo Macêdo In Proceedings of 3rd Workshop on Ontologies and their Applications (WONTO 2008) held in conjunction with 19th Brazilian Symposium on Artificial Intelligence (SBIA2008) Salvador, Bahia, 2008. |
|||||||||
Interoperabilidade de Unidades de Aprendizagem do IMS Learning Design em Ambientes Virtuais de Aprendizagem Luiz Augusto Matos da Silva and Luciano Porto Barreto In XIX Simpósio Brasileiro de Informática na Educação (SBIE) Fortaleza, 2008. |
|||||||||
An Automatic Translation Approach for Component-Based Real-Time Systems Verification André L. N. Muniz and Aline M. S. Andrade and George Lima In Anais do SBMF 2008 Student Track Salvador, Brasil, 2008. |
|||||||||
A topological Approach to Universal Logic: Model-Theoretical Abstract Logics Steffen Lewitzka In .-Y. Beziau (Ed.), Logica Universalis, 2nd edition, 35-61, 2007 Birkhäuser Verlag Basel/Switzerland, 2007. |
|||||||||
Abstract Logics, Logic Maps, and Logic Homomorphisms Steffen Lewitzka In Logica universalis 1 (2007), 243-276, c 2007 Birkhäuser Verlag Basel/Switzerland, 2007. |
|||||||||
Engineering Components for Flexible and Interoperable Real-Time Distributed Supervision and Control Systems Sandro Andrade, Raimundo Macêdo In 12th IEEE Conference on Emerging Technologies and Factory Automation Patras - Greece , 2007 . |
|||||||||
A Priority-Based Consensus Protocol George Lima and Alan Burns In Anais do XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2007) Belém, Brasil , 2007 . |
|||||||||
Suporte à Degradação Controlada em Sistemas de Tempo Real Ana Carolina Sokolonski and George Lima and Luciano Porto Barreto In Anais do VIII Workshop de Teste e Tolerância a Falhas (WTF 2007) Belém, Brasil, 2007. |
|||||||||
A Framework for Automatic Composition of RFQ Web Services Daniela Barreiro Claro and Patrick Albers and Jin-Kao Hao In IEEE Proceedings of the First Workshop on Web Service Composition and Adaptation (WSCA) held in conjunction with International Conference of Web Services (ICWS'07) IEEE SCW 2007: 221-228 Salt Lake City, Utah, USA, 2007. |
|||||||||
Um Framework para Prototipagem e Simulação de Detectores de Defeitos na Construção de Sistemas de Tempo Real Alírio Sá and Raimundo José de Araújo Macêdo In Proceedings of VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), p.43-56 Belém, Brazil, 2007. |
|||||||||
An Integrated Group Communication Infrastructure for Hybrid Real-Time Distributed Systems Raimundo José de Araújo Macêdo In 9th Workshop on Real-Time Systems (WTR 2007), p.81-88 Belém, Brazil, 2007. |
|||||||||
An Adaptive Programming Model for Fault-Tolerant Distributed Computing Sérgio Gorender and Raimundo José de Araújo Macêdo and Michel Raynal In IEEE Transactions on Dependable and Secure Computing Vol. 4, no. 1, pp. 18-31, Los Alamitos, CA, USA, 2007. |
|||||||||
A Development Process for Mechatronic Products: Integrating Software Engineering and Product Engineering Ana Patrícia Magalhães and Aline Andrade and Leila Silva and Herman Lepikson In Proceedings of the IEEE International Conference on Emerging Techonologies and Factory Automation Patras, Grécia, 2007. |
|||||||||
Mapeamento de Diagramas da UML 2.0 em UPPAAL ANDRADE, A. M. S. ; MUNIZ, André Luís Nunes In In: Workshop de Trabalhos de Iniciação Científica e de Graduação - IV WTICG Aracajú, SE, Brasil, 2006. |
|||||||||
Computação Distribuída Raimundo José de Araújo Macêdo. In W. Giozza, H. Hastenreiter, A. Furtado, P. Magalhães Jr. (Org.), Relatório de Tendências em Tecnologia da Informação e Comunicação.1 ed. Salvador: Secretaria de Ciência, Tecnologia e Inovação - Bahia, v. 1, p. 157-169 Salvador - Bahia, 2006. |
|||||||||
Real-Time Component Software For Flexible And Interoperable Automation Systems. Sandro Santos Andrade and Raimundo José de Araújo Macêdo In Anais do XII Congresso Brasileiro de Automática (XII CBA) v. 1. p. 3014-3019 Salvador , 2006 . |
|||||||||
A Management Tool for Component-Based Real-Time Supervision and Control Systems. Sandro Santos Andrade and Raimundo José de Araújo Macêdo. In Simpósio Brasileiro de Engenharia de Software (XIII Sessão de Ferramentas)v. 1. p. 139-144 Florianópolis, 2006. |
|||||||||
Deterministic Integration of Hard and Soft Real-Time Communication over Shared-Ethernet. Paul Regnier and George Marconi de Araújo Lima In Anais do VII Workshop Brasileiro de Tempo Real, p. 11-18 Curitiba, 2006. |
|||||||||
Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento Dinâmico. Ana Carolina Sokolonski Anton; George Marconi de Araújo Lima In IV WTICG (Trabalho de Conclusão de Curso)- ERBASE 2006. p. 1-13 Aracajú, 2006 . |
|||||||||
Simulador de Escalonamento para Sistemas de Tempo Real. Gisélia Magalhães Cruz; George Marconi de Araújo Lima In IV WTICG (Trabalho de Conclusão de Curso) - ERBASE 2006.p. 1-11 Aracajú, 2006. |
|||||||||
Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo Real sobre Redes Convencionais. Alírio Santos de Sá and Raimundo José de Araújo Macêdo In WTF 2006 - VII Workshop de Testes e Tolerância à Falhas. pp. 55-66 Curitiba/Brasil, 2006. |
|||||||||
Using Real-Time Components to Construct Supervision and Control Applications. Sandro Santos Andrade; Raimundo José de Araújo Macêdo In 8th Brazilian Workshop on Real-Time Systems. Working-in-progress track. pp. 115-118 Curitiba, PR, 2006 . |
|||||||||
Uma metodologia para o desenvolvimento de produtos mecatrônicos integrando engenharia de software e engenharia de produtos Ana Patrícia Fontes Magalhães and Aline M. S. Andrade and Leila Silva and Herman Lepikson In XXVI ENEGEP Fortaleza, Brasil, 2006. |
|||||||||
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets Fábio Ramon de Lima e Lima and Raimundo José de Araújo Macêdo In Second Latin-American Symposium on Dependable Computing (LADC2005), Lecture Notes in Computer Science, Volume 3747, Pages 191 - 205. Salvador, Bahia, Brasil, 2005. |
|||||||||
A Component-Based Real-Time Architecture for Distributed Supervision and Control Applications Sandro Andrade and Raimundo José de Araújo Macêdo In Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2005) p. 15-22. Catania - New York, 2005. |
|||||||||
An Adaptive Failure Detection Approach For Real-time Distributed Control Systems Over Shared Ethernet Alírio Sá and Raimundo José de Araújo Macêdo In Proceedings of the 18th International Congress on Mechanical Engineering - Mechatronics Symposium Ouro Preto - Brasil, 2005. |
|||||||||
Engenharia de Domínio aplicada ao Desenvolvimento Robusto e Eficiente de Sistemas Operacionais Luciano Porto Barreto In the 19th Simpósio Brasileiro de Engenharia de Software (SBES) Uberlândia, MG, 2005. |
|||||||||
Escalonamento para Sistemas de Tempo Real Tolerantes a Falhas: Um Estudo Empírico Edinaldo O. de Jesus and George Marconi de Araújo Lima In Anais do VII Workshop de Tempo Real Fortaleza, Brasil, 2005 . |
|||||||||
The Implementation of a Distributed System Model for Fault Tolerance with QoS. Raimundo José de Araújo Macêndo and Sérgio Gorender and Paulo Cunha In Anais do Simposio Brasileiro de Redes de Computadores (SBRC 2005). p. 827-840 Fortaleza, 2005. |
|||||||||
A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing Sergio Gorender, Raimundo J. Araújo Macêdo and Michel Raynal In Proceedings of IEEE/IFIP Int. Conference on Computer Systemas and Networks (DNS05).p. 412-42. Yokohama, Japan, 2005 . |
|||||||||
The mobile groups approach for the coordination of mobile agents Raimundo J. Araújo Macêdo and Flávio M. Assis Silva In Journal of Parallel and Distributed Computing. Volume 65, Issue 3, pg. 275-288 Orlando, FL, USA, 2005. |
|||||||||
Avaliando Detectores De Defeitos Adaptáveis Em Sistemas De Controle Distribuídos De Tempo Real Sobre Redes Convencionais Alirio Sá and Raimundo José de Araújo Macêdo In Proceedings of the Third Workshop On Theses And Dissertations Salvador, Brasil, 2005. |
|||||||||
Extensão de Promela para Especificação de Falhas em Sistemas baseados em Agentes Móveis AGUIAR, Daniel ; ANDRADE, Aline M Santos ; ASSIS, F In WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe Feira de Santana, Bahia, 2004. |
|||||||||
Suporte à Especificação da WfMC no MABflow, um Sistema de Workflow baseado em Agentes Móveis DANTAS, W. S. ; ASSIS, F. In II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe Ilhéus, Bahia, 2004. |
|||||||||
Geração de Protótipos Confiáveis em Java a partir de Promela MENEZES, Felipe ; ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis In Anais da I Workshop de Trabalhos de Iniciação Científica e Graduação Bahia-Sergipe Elsevier, 2004. |
|||||||||
Uma Arquitetura Baseada em Eventos para Desenvolvimento de Politicas de Escalonamento de Processos Luciano Porto Barreto In I Workshop de Sistemas Operacionais (WSO'2004), em conjunto com o XXIV Congresso da Sociedade Brasileira de Computação (CSBC'2004). Salvador, BA , 2004 . |
|||||||||
Implementação e Análise de Desempenho de um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS Sérgio Gorender and Raimundo J.A. Macêdo and Matheus Cunha In V WTF (Workshop de Testes e Tolerância a Falhas) em conjunto com SBRC 2004.pp.3-14, ISBN: 85-88442-81-7 Gramado/RS, 2004. |
|||||||||
Um ambiente para especificação e verificação automática de aplicações baseadas em agentes móveis A.M.S.Andrade and F.M.Assis Silva and F.J.R.Barboza and R.A.R.Oliveira. In Anais do 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004. pp.807-820, ISBN: 85-88442-81-7 Gramado, RS , 2004. |
|||||||||
The MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications ASSIS, F. ; MACÊDO, Raimundo José de Araújo ; FREITAS, Ana Vitoria Piaggio de In IV Workshop de Testes e Tolerância a Falhas - WTF 2003 - 21o. Simpósio Brasileiro de Redes de Computadores - SBRC Salvador, Bahia, 2003. |
|||||||||
Geração de Código Java a partir de Especificações Promela SENA, Izi Silva ; ASSIS, F. ; ANDRADE, Aline M Santos In I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe Salvador, Bahia, 2003. |
|||||||||
Implementação de um Suporte Transacional para Aplicações baseadas em Agentes Móveis FREITAS, Ana Vitoria Piaggio de ; ASSIS, F. In I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe Salvador, Bahia, 2003. |
|||||||||
Executing Workflows with Mobile Agents from UML Specifications ASSIS, F. ; SILVA, Paulo Sérgio ; SANTOS, Neima P ; SANTOS, Jorge Al ; CORREIA JR, Alfrânio Tavares ; SELCH, João Carlos ; LUZ, Sergio ; ARGOLLO, Siddhartha L In V Workshop de Comunicação sem Fio e Computação Móvel - WCSF2003 São Lourenço, MG, 2003. |
|||||||||
A Consensus Protocol for CAN-Based Systems. George Lima and Alan Burns. In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS) Cancun, Mexico, 2003. |
|||||||||
Atendendo aos Requisitos de QoS de Aplicações Multimídia através da Especialização de Serviços do Sistema Operacional. Luciano Porto Barreto. In Simpósio Brasileiro de Sistemas Multimídia e Web (WEBMÍDIA'2003) Salvador, 2003. |
|||||||||
MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications Flávio M. Assis Silva and Raimundo J.A. Macêdo and Ana Vitoria Piaggio Freitas. In In Proceedings of the 4th Workshop on Tests and Faut-Tolerance (co-located with the XXI Brazilian Symposium on Computer Networks) pp. 71-78 Natal - Brazil, 2003. |
|||||||||
Extensão da Linguagem Promela para Especificação de Sistemas baseados em Agentes Móveis. Aline Santos Andrade and Flávio Assis Silva and Frederico J.R. Barboza. In IV Workshop de Comunicação sem Fio (WCSF'2002) São Paulo, 2002. |
|||||||||
Solving the Group Priority Inversion Problem in a Timed Asynchronous System. Y. Wang and E. Anceaume and Francisco Brasileiro and Fabíola Greve and Michel Hurfin In IEEE Transactions on Computers. vol. 51, num. 8, pp. 900-915. Washington, DC, USA, 2002. |
|||||||||
A Dynamically QoS Adaptable Consensus and Failure Detector. Sergio Gorender and Raimundo Macedo In the IEEE/IFIP International Conference on Dependable Systems and Networks ( DSN2002) - Fast Abstract Track. pp.B-80 e B-81. Washington, DC , 2002. |
|||||||||
A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars. Fernando L. Dotti and Lucio M. Duarte and Flávio Assis Silva and Aline Santos Andrade. In the Sixth World Conference on Integrated Design , Process Technology. Society for Design and Process Science. Pasadena, California, 2002. |
|||||||||
Coordination of Mobile Processes with Mobile Groups. Raimundo Macêdo and Flávio Assis Silva In IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2002) - Main Track: Dependable Computing and Communications. pp.177-186. Washington, DC., 2002. |
|||||||||
Um Modelo para Tolerância a Falhas em Sistemas Distribuídos com QoS. Sergio Gorender and Raimundo Macedo In XX Simpósio Brasileiro de Redes de Computadores (SBRC'02). pp.277-292 Búzios-RJ, 2002. |
|||||||||
Desenvolvimento de um detector de defeitos para Sistemas Distribuídos baseado em Redes Neurais Artificiais. Nivea Ferreira, Raimundo Macedo In III Workshop de Testes e Tolerância a Falhas (III WTF 2002) em conjunto com SBRC 2002. pp.33-40 Búzios-RJ, 2002. |
|||||||||
Um Protocolo de Validaçao Atomica Nao-Bloqueante Eficiente. Fabíola Greve and Jean Pierre Le Narzul In XX Simpósio Brasileiro de Redes de Computadores (SBRC'02). pp.309-323 Búzios-RJ, 2002. |
|||||||||
Implementing FT-CORBA With Portable Interceptors: Lessons Learned. Fabíola Greve and Jean Pierre Le Narzul In In III Workshop de Testes e Tolerância a Falhas (III WTF 2002) em conjunto com SBRC 2002. pp.61-68. Búzios-RJ, 2002. |
|||||||||
ARGO PROJECT : Fault Tolerance in Asynchronous Distributed Systems Raimundo Macêdo, Michel Hurfin In Proceedings of the International Cooperation (CNPQ/NFS/INRIA) Project Evaluation Workshop. PROTEM-CC.p. 518-541. Rio de Janeiro, 2001. |
|||||||||
A Consensus Protocol based on a Weak Failure Detector and a Sliding Round Window. Michel Hurfin and Raimundo Macêdo and A. Mostefaoui and Michel Raynal In 20th IEEE Int. Symposium on Reliable Distributed Systems (SRDS'01). New Orleans, 2001. |
|||||||||
Eva: an event-based framework for developing specialised communication protocols. Francisco Brasileiro and Fabíola Greve and Michel Hurfin and Jean Pierre Le Narzul and Frederic Tronel In Research Report 1345, IRISA, July, 2000. Also published in the IEEE International Symposium on Network Computing and Applications. Cambridge, MA, 2001. |
|||||||||
Um Serviço Tolerante a Falhas para o Gerenciamento de Sistemas Distribuídos Sobre CORBA. Marcela Batalha and Raimundo Macêdo In Latin-American Conference on Informatics (CLEI'2001) Mérida, Venezuela, 2001. |
|||||||||
Consensus in One Communication Step is Possible. Francisco Brasileiro and Fabíola Greve and A. Mostefaoui and Michel Raynal In International Conference on Parallel Computing Technologies (PACT'2001). Springer LNCS 2127. pp. 42-50. Novosibirsk, Russia, 2001. |
|||||||||
Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers. Y. Wang and Francisco Brasileiro and E. Anceaume and Fabíola Greve and Michel Hurfin In IEEE International Conference on Dependable Systems and Networks. DSN 2001. pp.97-106. Göteborg, Suécia , 2001. |
|||||||||
Towards a Best Effort Framework to Solve Agreement Problems. Fabíola Greve In Student Forum: Int. Conf. on Dependable Systems and Networks. DSN'2001. pp. A-4-A-6. Göteborg, Suécia, 2001. |
|||||||||
Reliable Communication for Mobile Agents with Mobile Groups. Raimundo Macêdo and Flávio Assis Silva In Workshop on Software Engineering and Mobility (co-located with ACM/IEEE ICSE 2001) Toronto, Ontario, Canada, 2001. |
|||||||||
Mobile Groups. Raimundo Macêdo and Flávio Assis Silva In In XIX Simpósio Brasileiro de Redes de Computadores (SBRC'01).pp.66-81 Florianópolis-SC, 2001. |
|||||||||
Integrating Mobility into Groups. Raimundo Macêdo and Flávio Assis Silva In Fourth European Research Seminar on Advances in Distributed System (ERSADS'01). pp. 209-214. Bertinoro, Italy, 2001. |
|||||||||
Livro Texto dos Minicursos do SBRC2001. Raimundo Macêdo and JM. Farines (Editores) In In SBC (198 páginas). Florianópolis-SC, 2001. |
|||||||||
Primary component asynchronous group membership as an instance of a generic agreement framework. Fabíola Greve and Michel Hurfin and Michel Raynal and Frederic Tronel In 5th IEEE Int. Symposium on Autonomous Decentralized Systems. Dallas,TX, 2001. |
|||||||||
Reliability Requirements in Mobile Agent Systems ASSIS, F. ; MACÊDO, Raimundo José de Araújo In II Workshop de Testes e Tolerância a Falhas Curitiba, Paraná, 2000. |
|||||||||
Mobile Agent-based Transactions in Open Environments Flávio Assis Silva In IEICE Transactions on Communications Japão, 2000. |
|||||||||
Time and message effcient S-based consensus. Fabíola Greve and Michel Hurfin and Raimundo Macêdo and Michel Raynal In 19th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing (PODC'00). ACM. Brief announcement. pp.332-332. Portland, OR, 2000. |
|||||||||
Failure Detection in Asynchronous Distributed Systems. Raimundo Macêdo In 2nd Workshop on Tests and Fault-Tolerance. pp.76-81. Curitiba-PR, Brazil. , 2000. |
|||||||||
Reliability Requirements for Mobile Agent Systems. Raimundo Macêdo and Flávio Assis Silva In II Workshop de Testes e Tolerância a Falhas (II WTF 2000). Curitiba-PR, 2000. |
|||||||||
Consensus Based On Strong Failure Detectors : A Time and Message-Efficient Protocol. Fabíola Greve and Michel Hurfin and Raimundo Macêdo and Michel Raynal In IEEE International Workshop on Fault-Tolerant Parallel and Distributed Systems. Lecture Notes in Computer Science 1800. Springer Verlag,pg 1258-1267. Cancun, 2000. |
|||||||||
Mobile Agent-based Transactions in Open Environments. Flávio Assis Silva and R. Popescu-Zeletin In IEICE Transactions on Communications. IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems. Vol.E83-B, No.5. pp.973-987. Japão, 2000. |
|||||||||
Uma abordagem para Tolerância a Falhas em Java através de Comunicação em Grupo. L. D. Cirne and Raimundo Macêdo In 18º Simpósio Brasileiro de Redes de Computadores (SBRC'2000). Belo Horizonte-MG, 2000. |
|||||||||
Conector Genérico: Um Mecanismo para Reconfiguração de Aplicações baseadas em Componentes T. Batista and Cristina Chavez and N. Rodriguez In IDEAS´00 - Terceiro workshop Ibero-americano de Engenharia de Requisitos e Ambientes de Software. Cancun, México, 2000. |
|||||||||
Agentes Móveis Flávio Assis Silva In Escola de Informática da SBC - Edição Nordeste (EINE'99) Salvador - BA, 1999. |
|||||||||
A General Framework to Solve Agreement Problems Michel Hurfin and Raimundo Macêdo and Michel Raynal and Frederic Tronel In 18th IEEE Symposium on Reliable Distributed Systems (SRDS'99). Lausanne, Switzerland, 1999. |
|||||||||
A Robust Causal Order Protocol George Lima and Raimundo Macêdo In 11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'99). Natal-RN, 1999. |
|||||||||
Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo George Lima, Raimundo Macêdo In XXV Conferencia Latino Americana de Informatica. Paraguai, 1999. |
|||||||||
A Solution for the Consensus Problem in A Mobile Environment. N. Badache and Michel Hurfin and Raimundo Macêdo In XVII Simpósio Brasileiro de Redes de Computadores (SBRC'99). pp.273-288. Salvador-BA, 1999. |
|||||||||
Solving the Consensus Problem in a Mobile Environment. N. Badache and Michel Hurfin and Raimundo Macêdo In IEEE International Performance,Computing, and Communications Conference (IPCCC'99). pp.29-35. Phoenix, USA, 1999. |
|||||||||
The BCG Membership Service Performance Analysis. Fabíola Greve and Raimundo Macêdo In XVI Simpósio de Redes de Computadores, pp. 682-700 Rio de Janeiro, 1998. |
|||||||||
Um Modelo de Transações Cooperativas Integrado a um Modelo de Versões. George Lima and Beatriz Toledo In Simpósio Brasileiro de Banco de Dados (SBBD'97) Fortaleza-CE, 1997. |
|||||||||
Buffer Overflow Avoidance Techiniques for Group Communication Protocols. Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava In XIV Simpósio Brasileiro de Redes de Computadores (SBRC'96). pp. 633-652. Fortaleza-CE, 1996. |
|||||||||
BCG - Base Confiável de Comunicação em Grupo. Raimundo Macêdo and Cristina Chavez and Fabíola Greve In Primeiro Workshop em Sistemas Distribuídos (WoSiD`96).pp. 9-11 Salvador-BA, 1996 . |
|||||||||
Flow Control Schemes for a Fault-Tolerant Multicast Protocol. Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava In Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS'95), Also in Third Year Report - Systems Architecture. Vol.III, chap.II, Broadcast Espirit Basic Research Project 6380, 1995 Newport Beach, California, USA, 1995. |
|||||||||
The Implementation and Performance Analysis of a Total Order Delivery Protocol for Group. Raimundo Macêdo and S. Shrivastava In XXI Latin American Conference on Informatics and the XV Congress of The Brazilian Computer Society.pp. 287-299 Canela-RS, Brazil, 1995. |
|||||||||
Reliability Aspects of Multicast Protocol. Raimundo Macêdo and P. D. Ezhilchelvan In VI Simpósio Brasileiro de Computadores Tolerantes a Falhas. pp. 239-259 Canela-RS, Brazil, 1995. |
|||||||||
A Flow Control Scheme for a Fault-Tolerant Group Communication Protocol. Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava In 2nd Open Broadcast Workshop Grenoble, France, 1995. |
|||||||||
Newtop: A Fault-Tolerant Group communication Protocol. Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava In 15th International Conference on Distributed Computing Systems, IEEE Computer Society. Pages 296-306. Also in Second Year Report - Fundamental Concepts, Vol.II, chap.II, Broadcast Espirit Basic Research Project 6360, 1994. Vancouver, Canadá, 1995. |
|||||||||
Causal Order Protocols for Group Communication. Raimundo Macêdo In XIII Simpósio Brasileiro de Redes de Computadores (SBRC'95), pp. 265-283. Belo Horizonte-MG, Brasil, 1995. |
|||||||||
Newtop: A Total Order Multicast Protocol Using Causal Blocks. Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava In First Open Broadcast Workshop. , October, 1993. Also in First Year Report - Fundamental Concepts, vol. I, chap. II, Broadcast Espirit Basic Research Project 6360. Newcastle upon Tyne, U. K., 1993. |
|||||||||
Modeling Group Communication Using Causal Blocks. Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava In V European Workshop on Dependable Computing. Lisbon, Portugal, 1993. |
|||||||||
Technical Reports |
|||||||||
Composição de Serviços Web Semânticos em Nuvem ALVES, F. O. ; CLARO, D. B. In Capítulo de Livro, Minicursos da XII Escola de Informática Bahia, Alagoas e Sergipe. 1ed.Juazeiro: Univasf, 2012, v. , p. 97-128. Juazeiro, BA, Brasil, 2012. |
|||||||||
Self-Configuring Failure Detectors For Distributed Systems Alírio Sá and Raimundo Macêdo In Technical Report Number 001/2010, LaSiD/DCC/UFBA Salvador, 2010. |
|||||||||
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol Paul Regnier and George Lima and Aline Andrade In LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia) UFBA, 2008. |
|||||||||
Adaptive and Dependable Group Communication Raimundo José de Araújo Macêdo In Technical Report 001/2008. Distributed Systems Laboratory (LaSiD). Available on http://www.lasid.ufba.br UFBA, 2008. |
|||||||||
Challenges for Dependable Web Services Compositions Daniela Barreiro Claro and Raimundo José de Araujo Macêdo In Technical Report TRI003/07. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia) UFBA, Brazil, 2007. |
|||||||||
An approach for Dependable Web Service Compositions Daniela Barreiro Claro and Raimundo José de Araujo Macêdo In Technical Report TRI002/07. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia) UFBA, 2007. |
|||||||||
Mobile Groups. Raimundo Macêdo and Flávio Assis Silva In Technical Report RI001/01. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia) UFBA, 2001 . |
|||||||||
Comunicação em Grupo em Java: Adicionando Tolerância a Falhas ao iBus. Lilianne Cirne and Raimundo Macêdo In Relatório Técnico Interno RTI-008/99, Laboratorio de Sistemas Distribuídos (LaSiD) UFBA, 1999. |
|||||||||
A General Framework to Solve Agreement Problems. Michel Hurfin and Raimundo Macêdo and Michel Raynal and Frederic Tronel In Technical Report PI-1231, 29 pages IRISA/France, 1999. |
|||||||||
Aspectos de Confiabilidade em Sistemas de Tempo Real Críticos George Lima In Relatório Técnico Interno RTI-007/98, Laboratorio de Sistemas Distribuídos (LaSiD) UFBA, 1998. |
|||||||||
An Adaptable Transaction Model for Traditional and Advanced Applications Felgar Toledo and George Lima In Relatório Técnico IC-98-18. Instituto de Computação/Unicamp Unicamp, 1998. |
|||||||||
Uma Proposta de Controle de Fluxo para o Protrocolo BCGcausal George Lima and Raimundo Macêdo In Relatório Técnico Interno RTI-006/98, Laboratorio de Sistemas Distribuídos (LaSiD) UFBA, 1998. |
|||||||||
Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo George Lima and Raimundo Macêdo In Relatório Técnico Interno RTI-005/98, Laboratorio de Sistemas Distribuídos (LaSiD) UFBA, 1998. |
|||||||||
The BCG Membership Service Performance Analysis Fabíola Greve and Raimundo Macêdo In Relatório Técnico Interno RTI-004/98, Laboratório de Sistemas Distribuídos (LaSiD) UFBA, 1998. |
|||||||||
Avaliação de Desempenho do Protocolo BCG causal George Lima and Raimundo Macêdo In Relatório Técnico Interno RTI-003/97, Laboratório de Sistemas Distribuídos (LaSiD) UFBA, 1997. |
|||||||||
Solving the Consensus Problem a Mobile Environment N. Badache and Michel Hurfand Raimundo Macêdo In Technical Report number 1146. IRISA/France, 1997. |
|||||||||
TALK: Suporte de Linguagem de programação para Comunicação em Grupo Raimundo Macêdo and Cristina Chavez In Relatório Técnico Interno RTI-002/95, Laboratório de Sistemas Distribuídos (LaSiD) UFBA, 1995. |
|||||||||
Real-time Conversation a Distributed System-Characterization, Requirements ans Implementation. Raimundo Macêdo In Relatório Técnico Interno RTI-001/95, Laboratório de Sistemas Distribuídos (LaSiD) UFBA, 1995. |
|||||||||
BCG - Base Confiável de Comunicação em Grupo. Raimundo Macêdo In Projeto Individual de Pesquisa CNPq, 1995 . |
|||||||||
Fault-Tolerant Group Communication Protocols for Asynchronous Systems. Raimundo Macêdo In Technical Report 524. Department of Computing Science University of Newcastle upon Tyne, UK, 1994 . |
|||||||||
Extended Abstracts |
|||||||||
Gerenciador de Informações e Infraestrutura de Redes Ópticas JOSENEAS, E. ; SILVA, M. A. S. ; BORGES, J. L. S. ; SILVA, R. B. ; JESUS, V. R. P. ; SOUZA, R. R. G. E. ; FREITAS, A. E. S. ; SILVA NETO, E. M. In IX (PTT) Fórum São Paulo, 2017. |
|||||||||
BAMBU: A Metropolitan Innovation Testbed for Promoting Future Internet Research SAMPAIO, L. N. ; OLIVEIRA, L. R. ; BARRETO, M. E. ; BEZERRA, R. M. S. ; FREITAS, A. E. S. In SwitchOn São Paulo Workshop São Paulo, Brasil, 2015. |
|||||||||
Replicação Reconfigurável em Sistema de Tempo Real Semiramis Ribeiro de Assis and Raimundo Macêdo and Sérgio Gorender In VI Congresso Nacional de Engenharia Mecânica (CONEM 2010) Campina Grande, 2010. |
|||||||||
Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead Raimundo Macêdo and Michel Raynal In Colloquium of Computation: Brazil / INRIA, Cooperations, Advances and Challenges Bento Gonçalves, Rio Grande do Sul, Brasil, 2009. |
|||||||||
TransPlan: Uma Ferramenta para Mapear e Planejar Serviços Web Marcus Vinícius Silva and Daniela Barreiro Claro In 8th International Information and Telecommunication Technologies Symposium Florianópolis/SC, 2009. |
|||||||||
Simulation-Based Analysis to Derive of Fault Resilience in Real-Time Systems Flávia Nascimento and George Lima and Verônica Lima In 10th Brazilian Workshop on Real-Time and Embedded Systems Rio de Janeiro, Brazil, 2008. |
|||||||||
Web Services e sua relação com Sistemas de Informação Daniela Barreiro Claro and Raimundo José de Araújo Macêdo In Minicurso do IV Simpósio Brasileiro de Sistemas de Informação Rio de Janeiro - RJ, 2008. |
|||||||||
Esteganografia em Páginas Web Bruno Guimarães and Luciano Porto Barreto In Brazilian Symposium on Information and Computer System Security (SBSeg) Gramado, RS, 2008. |
|||||||||
Monitoramento de Crimes Virtuais no Second Life Daniel Nunes and Luciano Porto Barreto In Brazilian Symposium on Information and Computer System Security (SBSeg) Gramado, RS, 2008. |
|||||||||
Using Real-time Components to Construct Supervision and Control Applications Sandro Santos Andrade and Raimundo José de Araújo Macêdo and Alírio Sá and Neima Santos In Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006) Work in Progress Session Rio de Janeiro, 2006. |
|||||||||
Detectores de Defeitos Adaptáveis para Sistemas de Controle Distribuídos de Tempo-Real sobre Redes Ethernet Alírio Santos de Sá and Raimundo José de Araújo Macêdo In VII Brazilian Workshop of Real-Time Systems Fortaleza, Brazil , 2005. |
|||||||||
ARCOS: A Component-Based Architecture for the Construction of Robust Control and Supervision Applicatrions Sandro Santos Andrade and Raimundo José de Araújo Macêdo and Alírio Sá In Proceedings of the WDAS - Latin-American Workshop on Dependable Automation System Salvador, Brasil, 2005. |
|||||||||
Implementation of a Failure Detector based on an Artificial Neural Network. Nivea Ferreira and Raimundo Macêdo In Proceedings of the First Open Argo Workshop - Extended Abstracts. pp.11-12 Salvador, 2001. |
|||||||||
Implementation of Transport Multicast Protocols for Group Communication. C. Souza In Proceedings of the First Open Argo Workshop - Extended Abstracts. pp.13-14 Salvador, BA, Brasil, 2001. |
|||||||||
A Solution for the Consensus Problem in a Mobile Environment Raimundo Macêdo In II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE Pernambuco, Brasil, 1998. |
|||||||||
Considerações sobre Robustez em Protocolos de comunicação em grupo na BCG George Lima In II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE Pernambuco, Brasil, 1998. |
|||||||||
Métodos para Especificação Formal de Sistemas Distribuídos Lorena Santiago In II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE Pernambuco, Brasil, 1998. |
|||||||||
Comunicação em grupo e sincronismo virtual: aspectos da plataforma BCG Raimundo Macêdo In I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE Pernambuco, Brasil, 1998. |
|||||||||
Experiência de Implementação de um Protocolo de Ordem Causal George Lima In I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE Pernambuco, Brasil, 1998. |
|||||||||
BCG - Base Confiável de Comunicação em Grupo. Raimundo Macêdo and Cristina Chavez and Fabíola Greve In Anais do I Workshop de Sistemas Distribuídos, pp. 9-11 Salvador-BA, Brasil, 1996. |
|||||||||
A Normalization Procedure for the LND Equation Fragment. Anjolina Oliveira and Ruy Queiroz In Abstract of the 2nd Workshop em Logic, Language, Informatic and Computation (WOLLIC'95). Also in journal of IGPL Recife, PE, Brasil, 1995. |
|||||||||
Short Papers |
|||||||||
Evaluation of semantic similarity in WSD: an analysis to incorporate it into the association of terms SOUZA, E. N. P.; CLARO, D.B. In Proceedings of the 18th Brazilian Symposium on Multimedia and the Web (WEBMEDIA) São Paulo, Brazil, 2012. |
|||||||||
An Autonomic Approach for Dynamic Reconfiguration on Real-time Bandwidth-reservation Schedulers Marco Simões, George Lima, Raimundo Macêdo In 11th Brazilian Workshop on Real-Time and Embedded Systems Recife - PE, 2009. |
|||||||||
Improving the Quality of Service of Failure Detectors with SNMP and Artificial Neural Networks. Raimundo José de Araújo Macêdo and Fábio Ramon Lima e Lima In Anais do 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004 (short-paper track).pp.583-586, ISBN: 85-88442-81-7 Gramado, RS , 2004. |
|||||||||
Total of published works: 410 |