Published: 2014-12-09

Front Head

INFOCOMP Journal of Computer Science

Back Head

INFOCOMP Journal of Computer Science

Masterhead

INFOCOMP Journal of Computer Science

Managing Workflow Processes through Access Control Policies

Rasool Esmaeily Fard, Alan Klein, Reza Karimi Nezhad

1-11

Temporal Deductive Veriï¬cation of Basic ASM Models

Hocine El-Habib Daho, Djillali Benhamamouch

12-21

Software Quality achieved through Coverage Metrics in Database Testing

MS. A. Askarunisa, MS. P. Prameela, DR. N. Ramaraj

33-42

Radio Channel Model of Wireless Sensor Networks Operating in 2.4 GHz ISM Band

João C. Giacomin, Luiz H. A. Correia, Tales Heimfarth, Geraldo M. Pereira, Vinicius F. Silva, Joao L. P. de Santana

98-106