v. 1 n. 1 (2012) | Abakós

Ir para o conteúdo principal Ir para o menu de navegação principal Ir pro rodapé

Publicado: 30-11-2012

Editorial

Editorial

Lucila Ishitani, Rodrigo Baroni Carvalho, Theldo Cruz Franqueira

1-4
- PDF

Artigos convidados / Invited papers

Alternative specification and correctness proofs of the distributed network reachability algorithm DOI 10.5752/P.2316-9451.2012v1n1p5

Andréa Weber, Elias Procóprio Duarte Jr., Keiko Verônica Ono Fonseca

5-27
- PDF
Impact of template removal on Web search DOI 10.5752/P.2316-9451.2012v1n1p28

Kaio Wagner, Edleno Silva de Moura, David Fernandes, Marco Cristo, Altigran Soares da Silva

28-49
- PDF
Uma proposta de modelagem para o cálculo de reservas de contingência e gerencial em projetos de software usando programação linear inteira estocástica DOI 10.5752/P.2316-9451.2012v1n1p50

Karline de Valésio Pinto Filho, Silvana Bocanegra, Jones Albuquerque

50-74
- PDF

Comunicações convidadas / Invited communications

Física para a mente DOI 10.5752/P.2316-9451.2012v1n1p75

Lev Vertchenko

75-88
- PDF
O método de Monte Carlo e a simulação de sistemas multiagentes DOI 10.5752/P.2316-9451.2012v1n1p89

Ricardo Poley Martins Ferreira

89-99
- PDF