表紙画像

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...

保存先:

書誌詳細
主要な著者:	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., 等
出版事項: (2019)

Agent verification design of short text messaging system using formal method
著者:: Selamat, Ali, 等
出版事項: (2009)

Analysis on the model checking agent for SMS Management System verification using temporal logic
著者:: Abdul Bujang, Siti Diana, 等
出版事項: (2009)

Multi-agent verification of RFID system
著者:: Selamat, Ali, 等
出版事項: (2009)

Agent systems verification : systematic literature review and mapping
著者:: Abu Bakar, Najwa, 等
出版事項: (2018)

Occlusion Handling Through Multi Agent System
著者:: Heindwick, George
出版事項: (2019)

Interoperability of multi-agent system in Heterogeneous Learning Management System (HLMS)
著者:: K. M., Amir, 等
出版事項: (2013)

Verification of an agent model for chronic fatigue syndrome
著者:: Ab. Aziz, Azizi, 等
出版事項: (2013)

Fusion of multi-classifiers for online signature verification using fuzzy logic inference
著者:: Khalid, Marzuki, 等
出版事項: (2011)

Multi-agent information-inferencing fusion system for decision support system
著者:: Sumari, Arwin Datumaya Wahyudi, 等
出版事項: (2009)

ECURE ANDROID VOTING SYSTEM WITH FINGERPRINT VERIFICATION
著者:: Md Shekhanul, Islam
出版事項: (2019)

Agent architecture for criminal mobile devices identification systems
著者:: Selamat, Ali, 等
出版事項: (2009)

Mobile Student Verification System for Major Examination (S-VEC)
著者:: Aziman, Abdullah, 等
出版事項: (2008)

Analysis on the performance of mobile agents for query retrieval
著者:: Selamat, Ali, 等
出版事項: (2005)

Online signature verification discriminators
著者:: Omar, Nazaruddin, 等
出版事項: (2006)

Threshold verification using statistical approach for fast attack detection
著者:: Abdollah, Mohd Faizal, 等
出版事項: (2009)

The design for antrophomorphic sociable agent interaction through emotion detection
著者:: Ab. Aziz, Azizi, 等
出版事項: (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, 等
出版事項: (2023)

Analyzing model checking approach for multi agent system verification
著者:: Selamat, Ali, 等
出版事項: (2011)

Interaction Protocol For Agent-Based E-Learning System
著者:: Latif, N.A., 等
出版事項: (2009)

SMAS: A solution-based multi-agent system for improving problem solving skills in computer programming
著者:: Hooshyar, Danial, 等
出版事項: (2017)

An agent model for analysis of trust dynamics in short-term human-robot interaction
著者:: Ab. Aziz, Azizi, 等
出版事項: (2016)

Addressing the Brittleness of Agent Interaction
著者:: Hassan, M.F., 等
出版事項: (2008)

Mobile agent routing for query retrieval using genetic algorithm
著者:: Selamat, A., 等
出版事項: (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, 等
出版事項: (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, 等
出版事項: (2018)

Multi-classification of imbalance worm ransomware in the IoMT system
著者:: Hameed, Shilan S., 等
出版事項: (2022)

Multi-classification of imbalance worm ransomware in the IoMT system
著者:: Hameed, Shilan S., 等
出版事項: (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., 等
出版事項: (2019)

Artificial immune system agent model
著者:: Che Doi, Siti Mazura, 等
出版事項: (2011)

Addressing Constraint Failures in Agent Interaction Protocol
著者:: Hassan, M.F., 等
出版事項: (2009)

Development of Simulation Environment for Agent Interaction Protocol
著者:: Latif, N.A., 等
出版事項: (2010)

Handling Constraints in Combinatorial Interaction Testing in the Presence of Multi Objective Particle Swarm and Multithreading
著者:: Ahmed, Bestoun S., 等
出版事項: (2017)

A web deployed multi-agent based approach for student-lecturer appointment scheduling in institutions of higher learning
著者:: Anthony Jr, Bokolo, 等
出版事項: (2019)

Aesthetical concept for human-computer interaction using fuzzy knowledge base clustering
著者:: Mashinchi, M. Reza, 等
出版事項: (2007)

Constraint Relaxation Approach for Over-Constrained Agent Interaction
著者:: Hassan, M.F., 等
出版事項: (2008)

Using the fuzzy multi-criteria decision making approach for software requirements prioritization
著者:: Achimugu, Philip, 等
出版事項: (2015)