封面图片

Runtime verification of multi-agent systems interaction quality

Since multi-agent systems are inherently complex, there are possibilities that errors related to multi-agent systems interaction could occur. Currently, many verification approaches have been proposed by focusing on specific properties, using a particular technique and during certain development pha...

Saved in:

书目详细资料
Main Authors:	Abu Bakar, Najwa, Selamat, Ali
格式:	Conference or Workshop Item
出版:	2013
主题:	QA76 Computer software
在线阅读:	http://eprints.utm.my/id/eprint/51292/ https://doi.org/10.1007/978-3-642-36546-1_45
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

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

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

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

Multi-agent verification of RFID system
由: Selamat, Ali, et al.
出版: (2009)

Agent systems verification : systematic literature review and mapping
由: Abu Bakar, Najwa, et al.
出版: (2018)

Occlusion Handling Through Multi Agent System
由: Heindwick, George
出版: (2019)

Interoperability of multi-agent system in Heterogeneous Learning Management System (HLMS)
由: K. M., Amir, et al.
出版: (2013)

Verification of an agent model for chronic fatigue syndrome
由: Ab. Aziz, Azizi, et al.
出版: (2013)

Fusion of multi-classifiers for online signature verification using fuzzy logic inference
由: Khalid, Marzuki, et al.
出版: (2011)

Multi-agent information-inferencing fusion system for decision support system
由: Sumari, Arwin Datumaya Wahyudi, et al.
出版: (2009)

ECURE ANDROID VOTING SYSTEM WITH FINGERPRINT VERIFICATION
由: Md Shekhanul, Islam
出版: (2019)

Agent architecture for criminal mobile devices identification systems
由: Selamat, Ali, et al.
出版: (2009)

Mobile Student Verification System for Major Examination (S-VEC)
由: Aziman, Abdullah, et al.
出版: (2008)

Analysis on the performance of mobile agents for query retrieval
由: Selamat, Ali, et al.
出版: (2005)

Online signature verification discriminators
由: Omar, Nazaruddin, et al.
出版: (2006)

Threshold verification using statistical approach for fast attack detection
由: Abdollah, Mohd Faizal, et al.
出版: (2009)

The design for antrophomorphic sociable agent interaction through emotion detection
由: Ab. Aziz, Azizi, et al.
出版: (2003)

A multi-agent K-means with case-based reasoning for an automated quality assessment of software requirement specification
由: Mohammed Ahmed Jubair, Mohammed Ahmed Jubair, et al.
出版: (2023)

Analyzing model checking approach for multi agent system verification
由: Selamat, Ali, et al.
出版: (2011)

Interaction Protocol For Agent-Based E-Learning System
由: Latif, N.A., et al.
出版: (2009)

SMAS: A solution-based multi-agent system for improving problem solving skills in computer programming
由: Hooshyar, Danial, et al.
出版: (2017)

An agent model for analysis of trust dynamics in short-term human-robot interaction
由: Ab. Aziz, Azizi, et al.
出版: (2016)

Addressing the Brittleness of Agent Interaction
由: Hassan, M.F., et al.
出版: (2008)

Mobile agent routing for query retrieval using genetic algorithm
由: Selamat, A., et al.
出版: (2004)

Fuzzy- logic multi-agent system for solving course time tabling problems
由: Tan, Li June
出版: (2020)

Fuzzy music query retrievals from the web using mobile agents
由: Selamat, Ali, et al.
出版: (2005)

Multi-agent classifier system based on heterogeneous classifier
由: Nur Afiqah, Mohd Dali
出版: (2018)

Design and process metamodels for modelling and verification of safety-related software applications in smart building systems
由: Murni, Fatehah, et al.
出版: (2018)

Multi-classification of imbalance worm ransomware in the IoMT system
由: Hameed, Shilan S., et al.
出版: (2022)

Multi-classification of imbalance worm ransomware in the IoMT system
由: Hameed, Shilan S., et al.
出版: (2022)

Intelligent tutoring system using interactive agent (Echem) / Loo Hoi Keong
由: Loo , Hoi Keong
出版: (2004)

Hybrid multi-agents and case based reasoning for aiding green practice in institutions of higher learning
由: Anthony, Bokolo Jnr., et al.
出版: (2019)

Artificial immune system agent model
由: Che Doi, Siti Mazura, et al.
出版: (2011)

Addressing Constraint Failures in Agent Interaction Protocol
由: Hassan, M.F., et al.
出版: (2009)

Development of Simulation Environment for Agent Interaction Protocol
由: Latif, N.A., et al.
出版: (2010)

Handling Constraints in Combinatorial Interaction Testing in the Presence of Multi Objective Particle Swarm and Multithreading
由: Ahmed, Bestoun S., et al.
出版: (2017)

A web deployed multi-agent based approach for student-lecturer appointment scheduling in institutions of higher learning
由: Anthony Jr, Bokolo, et al.
出版: (2019)

Aesthetical concept for human-computer interaction using fuzzy knowledge base clustering
由: Mashinchi, M. Reza, et al.
出版: (2007)

Constraint Relaxation Approach for Over-Constrained Agent Interaction
由: Hassan, M.F., et al.
出版: (2008)

Using the fuzzy multi-criteria decision making approach for software requirements prioritization
由: Achimugu, Philip, et al.
出版: (2015)