Envíos recientes 

vol. 3, nº 5, december 2015: Envíos recientes

Mostrando ítems 7-9 de 12

    • Checking RTECTL properties of STSs via SMT-based Bounded Model Checking 

      Zbrzezny, Agnieszka; Zbrzezny, Andrzej (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      We present an SMT-based bounded model checking (BMC) method for Simply-Timed Systems (STSs) and for the existential fragment of the Real-time Computation Tree Logic. We implemented the SMT-based BMC algorithm and compared ...

    • An Automated Negotiation-based Framework via Multi-Agent System for the Construction Domain 

      Mahmoud, Moamin A.; Sharifuddin Ahmad, Mohd; Zaliman Yuso, Mohd; Idrus, Arazi (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      In this paper, we propose an automated multi-agent negotiation framework for decision making in the construction domain. It enables software agents to conduct negotiations and autonomously make decisions. The proposed ...

    • A New Approach for Hiding Image Based on the Signature of Coeficients 

      Al-asadi, Tawfiq A.; Hadi Ali, Israa; kareem Abdul Abdul Abdul kadhem, kadhem (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      This paper presents a new approach for hiding the secret image inside another image file, depending on the signature of coefficients. The proposed system consists of two general stages. The first one is the hiding stage ...