Formal method-agent based verification design

Formal method-agent based verification design

Bibliographic Details
Main Authors:	Abdul Bujang, Siti Dianah, Selamat, , Ali, Mohamad, Radziah
Format:	Book Section
Published:	Penerbit UTM 2008
Subjects:	QA75 Electronic computers. Computer science

Similar Items

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

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

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

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

Agent systems verification : systematic literature review and mapping
by: Abu Bakar, Najwa, et al.
Published: (2018)

Formal Verification of the xDAuth Protocol
by: Alam, Q., et al.
Published: (2016)

Pattern-oriented design approach for developing multi-agent systems
by: Mohamad, Radziah
Published: (2007)

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

Pattern-oriented design for multi-agent system: a conceptual model
by: Mohamad, Radziah, et al.
Published: (2007)

Pattern-oriented design for multi-agent system : a conceptual model
by: Mohamad, Radziah, et al.
Published: (2007)

Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
by: Mohamad, Radziah, et al.
Published: (2011)

Engineering JADEX agents with the MaSE methodology
by: Mohamad, Radziah, et al.
Published: (2006)

Fuzzy agent-based model for learning behavior in formal education
by: Nur Syafikah, Sukri
Published: (2019)

Verification analysis of an agent based model in behaviour change process
by: Ojeniyi, Adegoke, et al.
Published: (2015)

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

Scalable E-business social network using multiCrawler agent
by: Ibrahim, Siti Nurkhadijah Aishah, et al.
Published: (2008)

Multi-agent reinforcement learning for route guidance system
by: Arokhlo, Mortaza Zolfpour, et al.
Published: (2011)

Multi-agent crawling systems (MACS) architecture for effective web retrieval
by: Ibrahim, Siti Nurkhadijah Aishah, et al.
Published: (2007)

Route guidance system using multi-agent reinforcement learning
by: Selamat, Ali, et al.
Published: (2011)

Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime
by: Ab. Aziz, Azizi, et al.
Published: (2017)

An agent-oriented framework for multi-robot systems
by: Mohamad, Radziah, et al.
Published: (2007)

Service-oriented design measurement and theoretical validation
by: Mohammed Elhag, Arafat Abdulgader, et al.
Published: (2015)

Design and development of cross platform volunteer mobile application for kechara soup kitchen
by: Mohamad, Radziah, et al.
Published: (2018)

Feature selection method for offline signature verification
by: Zulkarnain, Zuraidasahana, et al.
Published: (2015)

Network routing by mobile agents for image retrieval using fuzzy genetic algorithms
by: Selamat, Ali, et al.
Published: (2005)

QR Tag based Verification Method for Smart IoT Applications
by: Al-Ghaili, Abbas M., et al.
Published: (2018)

Ontology-based, process-oriented, and society-independent agent system for cloud computing
by: Fathalipour, Mahmood, et al.
Published: (2014)

MaSE2Jadex : a roadmap to engineer JADEX agents from mase methodology
by: Mohamed, Radziah, et al.
Published: (2006)

Automated kinship verification and identification through human facial images: a survey
by: Almuashi, M., et al.
Published: (2017)

WSMO-Lite based web service discovery algorithm for mobile environment
by: Saadon, Nor Azizah, et al.
Published: (2014)

Semantic-based discovery framework for web services in mobile computing environment
by: Saadon, Nor Azizah, et al.
Published: (2015)

Multibiometric systems based verification technique
by: Anwar, Farhat, et al.
Published: (2009)

Modeling the correlations of crude oil properties based on sensitivity based linear learning method
by: Selamat, Ali, et al.
Published: (2010)

A method for knowledge representation to design intelligent problems solver in mathematics based on rela-ops model
by: Nguyen, Hien D., et al.
Published: (2020)

Comparative evaluation of semantic web service composition approaches
by: Mohamad, Radziah, et al.
Published: (2011)

Negative selection approach for equivalent mutant detection
by: Mohamad, Radziah, et al.
Published: (2018)

Semantic web service composition approaches: overview and limitations
by: Zeshan, Furkh, et al.
Published: (2011)

A categorization of runtime norm synthesis in normative multi-agent systems
by: Kadir, M. R. A., et al.
Published: (2019)

Analysis on hybrid dominance-based rough set parameterization using private financial initiative unitary charges data
by: Mohamad, Masurah, et al.
Published: (2018)

An improvement on genetic-based learning method for fuzzy artificial neural networks
by: Selamat, Ali, et al.
Published: (2009)