Works matching IS 01046500 AND DT 2016 AND VI 22 AND IP 1

Results: 9

Secure self-recovery watermarking scheme for error concealment and tampering detection.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0046-3
By:
- Garcia Freitas, Pedro;
- Rigoni, Ronaldo;
- Farias, Mylène
Publication type:
Article
Some results on extension of lattice-valued QL-implications.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0044-5
By:
- Palmeira, Eduardo;
- Bedregal, Benjamín;
- dos Santos, José Anchieta
Publication type:
Article
Rain gauge simulator and first tests with a new mobile climate alert system in Brazil.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0042-7
By:
- Xavier, Ademir L.;
- Bonatti, Daniel;
- Celaschi, Sergio
Publication type:
Article
LODPRO: learning objects development process.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0043-6
By:
- Queiros, Leandro;
- da Silveira, Denis;
- da Silva Correia-Neto, Jorge;
- Vilar, Guilherme
Publication type:
Article
Redocumenting APIs with crowd knowledge: a coverage analysis based on question types.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0049-0
By:
- Delfim, Fernanda Madeiral;
- Paixão, Klérisson V. R.;
- Cassou, Damien;
- de Almeida Maia, Marcelo
Publication type:
Article
An empirical study of test generation with BETA.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0048-1
By:
- de Matos, Ernesto;
- Moreira, Anamaria;
- de Souza Neto, João
Publication type:
Article
Solving the maximum subsequence sum and related problems using BSP/CGM model and multi-GPU CUDA.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0045-4
By:
- Lima, Anderson;
- Branco, Rodrigo;
- Ferraz, Samuel;
- Cáceres, Edson;
- Gaioso, Roussian;
- Martins, Wellington;
- Song, Siang
Publication type:
Article
Assessing the effectiveness of automated service composition.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0047-2
By:
- Dantas, Ramide;
- Kamienski, Carlos;
- Fernandes, Stenio;
- Sadok, Djamel
Publication type:
Article
Bounded model checking for fixed-point digital filters.
Published in:
Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0041-8
By:
- Abreu, Renato B.;
- Gadelha, Mikhail Y.;
- Cordeiro, Lucas C.;
- de Lima Filho, Eddie B.;
- da Silva, Waldir S.
Publication type:
Article