Agent verification design of short text messaging system using formal method /

Agent verification design of short text messaging system using formal method /

PRZSL

Bibliographic Details
Main Authors:	Ali Selamat, author, Siti Dianah Abdul Bujang, 1984-, author, Md. Hafiz Selamat, author, International KES Symposium on Agents and Multi-Agent Systems Technologies and Applications (3rd : 2009 : Sweden)
Format:
Language:
Published:	Skudai : Universiti Teknologi Malaysia, 2009

Similar Items

The design of model checking agent for SMS management system /
by: Ali Selamat, author, et al.
Published: (2008)

Model checking agent using formal method for SMS verification /
by: Siti Dianah Abdul Bujang, 1984-, author, et al.
Published: (2009)

Agent verification design of short text messaging system using formal method
by: Selamat, Ali, et al.
Published: (2009)

Verification of mobile SMS application with model checking agent /
by: Siti Dianah Abdul Bujang, 1984-, author, et al.
Published: (2008)

Formal method-agent based verification design
by: Abdul Bujang, Siti Dianah, et al.
Published: (2008)

Dynamic model checking for multi agent e - business control and assurance /
by: Siti Dianah Abdul Bujang, 1984-, author, et al.
Published: (2007)

An approach of model checking agent using spin for the verification of mobile SMS application /
by: Siti Dianah Abdul Bujang, author, et al.
Published: (2008)

Agent architecture for criminal mobile devices identification systems /
by: Ali Selamat, author, et al.
Published: (2009)

A model checking agent for mobile short message service application /
by: Siti Dianah Abdul Bujang, 1984-, et al.
Published: (2010)

Multi agent verification of RFID system /
by: Ali Selamat, author, et al.
Published: (2009)

Holonic and multi-agent systems for manufacturing : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007 : proceedings /
by: International Conference on Industrial Applications of Holonic and Multi-Agent Systems (3rd : 2007 : Regensburg, Germany), et al.
Published: (2007)

E - business social network optimization and visualization /
by: Siti Nurkhadijah Aishah Ibrahim, 1984-, author, et al.
Published: (2008)

Formal verification of RFID system using model verification agent /
by: Muhammad Tarmizi Lockman, 1981-, et al.
Published: (2012)

Query optimization in relevance feedback using hybrid GA-PSO for effective web information retrieval /
by: Siti Nurkhadijah Aishah Ibrahim, 1984-, author, et al.
Published: (2009)

Dynamic model checking for multi-agent e-business control and assurances
by: Selamat, Ali, et al.
Published: (2007)

The design of model checking agent for SMS management system
by: Selamat, Ali, et al.
Published: (2008)

Model checking agent of SMS management system for direct sales and network marketing
by: Abdul Bujang, Siti Dianah, et al.
Published: (2008)

The dominant of bloggers in Malaysian politics through social networks /
by: Ahmad Nadzri M. Nasir, author, et al.
Published: (2009)

A model checking agent for mobile short message service application
by: Abdul Bujang , Siti Dianah
Published: (2010)

Optimization of E-business social network mapping using genetic algorithm /
by: Siti Nurkhadijah Aishah Ibrahim, 1984-, author, et al.
Published: (2008)

Robust signature verification based on multiple classifiers /
by: Marzuki Khalid, 1959-2012, author, et al.
Published: (2009)

Model checking agent of SMS management system for direct sales and network marketing /
by: 389865 Ali Selamat, et al.
Published: (2008)

UTMcrawler : crawling the E-business social network using genetic algrithm for relevant document searching
by: 412523 Siti Nurkhadijah Aishah Ibrahim, et al.
Published: (2009)

A model checking agent for mobile short message service application [electronic resource] /
by: Siti Dianah Abdul Bujang, 1984-, et al.
Published: (2010)

Multi - agent verification and validation for RFID system architecture /
by: Muhammad Tarmizi Lockman, 1981-, author, et al.
Published: (2008)

Software agents, agent systems and their applications /
by: Software agents, agent systems and their applications / [edited by] Mohammad Essaidi, Maria Ganzha, Marcin Paprzycki, et al.
Published: (c201)

Malaysian business community social network mapping on the web based on improved genetic algorithm /
by: Siti Nurkhadijah Aishah Ibrahim, 1984-, author, et al.
Published: (2009)

Verification and validation in communication layer for embedded smart card system /
by: Muhammad Tarmizi Lockman, 1981-, author, et al.
Published: (2008)

Embedded smart card system verification and validation process /
by: Muhammad Tarmizi LockmanIsmail, author, et al.
Published: (2008)

The strategic information systems planning (SISP)practice in Malaysian Government Agencies /
by: 202067 Md. Hafiz Selamat, et al.

Analysis on the model checking agent for SMS Management System verification using temporal logic
by: Abdul Bujang, Siti Diana, et al.
Published: (2009)

3D modeling using laser scanning for reverse engineering applications : verification test /
by: Khairulazhar Zainuddin, author, et al.
Published: (2009)

Sistem capaian maklumat video on demand menggunakan agen mobil /
by: Siti Dianah Abdul Bujang, 1984-, et al.
Published: (2006)

Parallel crawler and optimization for e-business social network visualization /
by: Siti Nurkhadijah Aishah Ibrahim, 1984-, author, et al.
Published: (2008)

Advanced formal verification /
by: Drechsler, Rolf
Published: (2004)

Applied formal verification /
by: 225698 Perry, Douglas L., et al.
Published: (2005)

Hybrid-grams language identification on cyrillic and indic script web documents /
by: Ali Selamat, author, et al.
Published: (2008)

Face identification and verification using PCA and LDA /
by: Chan, Lih Heng, 1984-, author, et al.
Published: (2008)

Wheel-rail contact parameters estimation for conical solid- axle railway wheelset using least-absolute error with variable forgetting factor method /
by: Hazlina Selamat, author, et al.
Published: (2009)

Web information systems and technologies : Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers /
by: International Conference on Web Information Systems and Technologies (3rd : 2007 : Barcelona, Spain), et al.
Published: (2008)