1
Assuntos:
“...Redes de Autômatos Estocásticos...”
Técnicas de modelagem para a análise de desempenho de processos de negócio
Tese
2
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
Dissertação
3
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Avaliação de desempenho de equipes de projetos de desenvolvimento de software através de modelos probabilísticos
Dissertação
4
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Reducing the impact of state space explosion in Stochastic Automata Networks
Tese
5
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Tese
6
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software
Dissertação
7
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Precisão de simulações para solução de modelos estocásticos
Dissertação
8
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Proposta de uma representação tensorial para modelos markovianos ocultos
Dissertação
9
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
Dissertação
10
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
Dissertação
11
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Stochastic modeling of global software development teams
Dissertação
12
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Software como serviço : um framework para fornecer ferramentas de simulação analítica
Dissertação
13
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
Dissertação
14
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Dissertação
15
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Otimizações para a multiplicação vetor-descritor através do algoritmo Slice
Dissertação
16
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Dissertação
17
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos
Dissertação
18
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Fitting techniques to knowledge discovery through stochastic models
Tese
19
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
Dissertação
20
Assuntos:
“...REDES DE AUTÔMATOS ESTOCÁSTICOS...”
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA
Dissertação