Statecharts: their use in specifying and dealing with performance models.

by Nandamudi Lankalapalli Vijaykumar
Published 1999

Geração de superfícies livres usando "SPLINE" ponderado

by Nandamudi Lankalapalli Vijaykumar
Published 1984

Transformation of UML Behavioral Diagrams to Support Software Model Checking

by Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
Published 2014-04-01

Heterogeneidade da Rugosidade em Terrenos Complexos e Implicações para o Aproveitamento Eólico (Heterogeneity of Roughness in Complex Terrains and Implications for Wind Power)

by Thiago Lobão Cordeiro, Arcilan Trevenzoli Assireu, Ramon Moraes Freitas, Nandamudi Lankalapalli Vijaykumar, Reinaldo Roberto Rosa
Published 2016-02-01

Memory embedded in Markov models specified in Statecharts: simulation versus analytical approaches Tratamento de memória em modelos Markovianos especificados em Statecharts: aborda...

by Nandamudi Lankalapalli Vijaykumar, Gian Ricardo Berkenbrock, Solon Venâncio de Carvalho, Valéria Maria Barros de Andrade, Gurrala Veereswara Swamy, Mokka Jagannadha Rao
Published 2012-12-01

Heterogeneous wireless networks with mobile devices of multiple interfaces for simultaneous connections using Fuzzy System.

by Jorge Amaro de Sarges Cardoso, Fabio Pereira Ferreira da Silva, Tássio Costa de Carvalho, José Jailton Henrique Ferreira, Nandamudi Lankalapalli Vijaykumar, Carlos Renato Lisboa Francês
Published 2021-01-01

Social Network Analysis and Mining to Monitor and Identify Problems with Large-Scale Information and Communication Technology Interventions.

by Aleksandra do Socorro da Silva, Silvana Rossy de Brito, Nandamudi Lankalapalli Vijaykumar, Cláudio Alex Jorge da Rocha, Maurílio de Abreu Monteiro, João Crisóstomo Weyl Albuquerque Costa, Carlos Renato Lisboa Francês
Published 2016-01-01

Concentration of Access to Information and Communication Technologies in the Municipalities of the Brazilian Legal Amazon.

by Silvana Rossy de Brito, Aleksandra do Socorro da Silva, Adejard Gaia Cruz, Maurílio de Abreu Monteiro, Nandamudi Lankalapalli Vijaykumar, Marcelino Silva da Silva, João Crisóstomo Weyl Albuquerque Costa, Carlos Renato Lisboa Francês
Published 2016-01-01

Knowledge management applied to software testing: an ontology based framework

by Érica Ferreira de Souza
Published 2014

SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications

by Valdivino Alexandre de Santiago Júnior
Published 2011

Uso de algoritmos de mineração de dados para agrupamento e busca de erros em séries temporais coletadas a partir de geossensores: um estudo de caso na Mata Atlântica

by Gerson da Penha Neto
Published 2012

Novo modelo de minimização de tempos de transmissão fim a fim em redes sem fio em malha

by Marlon da Silva
Published 2015

Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos

by Érica Ferreira de Souza
Published 2010

Navegação autônoma de VANT em período noturno com imagens infravermelho termal

by Wanessa da Silva
Published 2016

Monitoração da trajetória em tempo-real de veículos espaciais: suporte na tomada de decisão pela segurança de vôo

by João Emile Louis
Published 2006

WEB-PerformCharts: a web-based test case generator from statecharts modeling

by Alessandro Oliveira Arantes
Published 2008

QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais

by Wendell Pereira da Silva
Published 2008

J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste

by Júlio Resende Ribeiro
Published 2008