Busca avançada
Ano de início
Entree

Especificacao formal, verificacao e avaliacao empirica de protocolos da interacao construidos usando a plataforma jam session.

Processo: 10/52505-0
Modalidade de apoio:Bolsas no Brasil - Pós-Doutorado
Data de Início da vigência: 01 de maio de 2011
Data de Término da vigência: 30 de abril de 2014
Área de conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Pesquisador responsável:Flávio Soares Corrêa da Silva
Beneficiário:Mirtha Lina Fernández Venero
Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
Assunto(s):Inteligência artificial   Computação distribuída   Computação móvel
Palavra(s)-Chave do Pesquisador:Computacao Distribuida | Computacao Movel | Inteligencia Artificial

Resumo

Ambientes interativos inteligentes (Intelligent Interactive Environments - IIE) são sistemas multi-agentes com inteligência, interatividade e a noção de localização, Portanto, estes sistemas são convenientes para modelar e solucionar problemas que requerem técnicas da computação distribuída e móvel, do design de interação e da inteligência artificial. Recentemente, uma plataforma foi proposta para o desenvolvimento de IIE, chamada JamSession (HTTP://lidetJamSession.wordpress.com). Essa plataforma combina as características principais de iniciativas da investigação anteriores na área, e acrescenta a possibilidade de simplificar a especificação de protocolos da interação que consideram a mobilidade como noção central. Um interpretador para a plataforma JamSession já foi desenvolvido, implementado e usado para executar pequenas provas de conceito. A plataforma é simples, compacta e fácil de utilizar. O presente projeto de pesquisa tem por objetivo dar prosseguimento ao desenvolvimento da plataforma JamSession, formalizando de maneira mais detalhada e avaliando empiricamente essa plataforma. Mais especificamente, o objetivo do projeto é obter: Técnicas e métodos formais para a análise, simulação e verificação de protocolos de interação construídos com base na plataforma JamSession; Um conjunto de protocolos de referência (benchmark) para testes de desempenho da plataforma e suas implementações; A avaliação empírica da plataforma mediante a construção de um IIE especializado e o projeto e a execução de um conjunto de experimentos. (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)