Editorial by Rafael Duarte Coelho dos Santos, Nandamudi Lankalapalli Vijaykumar

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text