Vol. 1 No. 1 (2012)

View Vol. 1 No. 1 (2012)

Published: 2012-11-30

Editorial

Editorial

Lucila Ishitani, Rodrigo Baroni Carvalho, Theldo Cruz Franqueira

1-4
- PDF (Português (Brasil))

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 (Português (Brasil))
DOI: https://doi.org/10.5752/P.2316-9451.2012V1N1P5
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 (Português (Brasil))
DOI: https://doi.org/10.5752/P.2316-9451.2012V1N1P28
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 (Português (Brasil))
DOI: https://doi.org/10.5752/10.5752/P.2316-9451.2012V1N1P50

Comunicações convidadas / Invited communications

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

Lev Vertchenko

75-88
- PDF (Português (Brasil))
DOI: https://doi.org/10.5752/P.2316-9451.2012V1N1P75
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 (Português (Brasil))
DOI: https://doi.org/10.5752/P.2316-9451.2012V1N1P89