Ausgabe 1/2016
Inhalt (9 Artikel)
Open Access
Research
Bounded model checking for fixed-point digital filters
Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie B. de Lima Filho, Waldir S. da Silva Jr
Open Access
Research
Rain gauge simulator and first tests with a new mobile climate alert system in Brazil
Ademir L. Xavier Jr, Daniel Bonatti, Sergio Celaschi
Open Access
Original research article
LODPRO: learning objects development process
Leandro Marques Queiros, Denis Silva da Silveira, Jorge da Silva Correia-Neto, Guilherme Vilar
Open Access
Research
Some results on extension of lattice-valued QL-implications
Eduardo S. Palmeira, Benjamín R.C. Bedregal, José Anchieta G. dos Santos
Open Access
Research
Secure self-recovery watermarking scheme for error concealment and tampering detection
Pedro Garcia Freitas, Ronaldo Rigoni, Mylène C. Q. Farias
Open Access
Research
Assessing the effectiveness of automated service composition
Ramide Dantas, Carlos Kamienski, Stenio Fernandes, Djamel Sadok
Open Access
Research
Solving the maximum subsequence sum and related problems using BSP/CGM model and multi-GPU CUDA
Anderson C. Lima, Rodrigo G. Branco, Samuel Ferraz, Edson N. Cáceres, Roussian A. Gaioso, Wellington S. Martins, Siang W. Song
Open Access
Research
An empirical study of test generation with BETA
Ernesto C. B. de Matos, Anamaria M. Moreira, João B. de Souza Neto
Open Access
Research
Redocumenting APIs with crowd knowledge: a coverage analysis based on question types
Fernanda Madeiral Delfim, Klérisson V. R. Paixão, Damien Cassou, Marcelo de Almeida Maia