Busca avançada
Ano de início
Entree
Conteúdo relacionado

Verificacao de workflow.

Processo: 07/57995-3
Modalidade de apoio:Bolsas no Brasil - Mestrado
Data de Início da vigência: 01 de março de 2008
Data de Término da vigência: 28 de fevereiro de 2010
Área de conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
Pesquisador responsável:Jacques Wainer
Beneficiário:Amaury Bosso André
Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Palavra(s)-Chave do Pesquisador:Workfl

Resumo

Um bom entendimento dos conceitos e técnicas relacionadas a verificação de workflows por desenvolvedores e projetistas ajudará na construção de workflows que sejam flexíveis o suficiente para capturar os requerimentos de aplicações do mundo real e robusto o suficiente para oferecer a correção necessária e propriedades de confiança na presença de concorrência e falhas. É nesta linha que se desenvolverá o projeto de pesquisa proposto neste documento. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
ANDRE, AMAURY B.; BELTRAME, EDUARDO; WAINER, JACQUES. A COMBINATION OF SUPPORT VECTOR MACHINE AND k-NEAREST NEIGHBORS FOR MACHINE FAULT DETECTION. APPLIED ARTIFICIAL INTELLIGENCE, v. 27, n. 1, p. 36-49, . (07/57995-3)
Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
ANDRÉ, Amaury Bosso. Verificação formal de workflows com spin. 2010. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.