Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-5

Specification and verification of reconfigurable multi-agent system architectures

Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaidi Sahnoun

Multiagent and Grid Systems

Retricted access

Research article

First published 2016-2

Formal specification and verification of a distributed fault localization,isolation and supply restoration algorithm

Wanshui Ling, Jiaquan Yang, Jingxi Zou

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2013-1

Principles of Discrete Event System Specification model verification

Hesham Saadawi, Gabriel Wainer

SIMULATION

Retricted access

Research article

First published 2006-05

Simulation Verification and Validation by Dynamic Policy Specification and Enforcement

W. T. Tsai, Yinong Chen, Ray Paul [...]

SIMULATION

Retricted access

Research article

First published 2010-04

Specification-based Verification in a Distributed Shared Memory Simulation Model

Worawan Marurngsith, Roland N. Ibbett

SIMULATION

Retricted access

Research article

First published 2003-5

A MULTI-AGENT ARCHITECTURE FOR AUTOMATED PRODUCT TECHNICAL SPECIFICATIONS VERIFICATION IN CAD ENVIRONMENTS

Soumaya Cherkaoui, Alain Desrochers, Dounia Habhouba

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2019-03-26

Complementing the DTW based speaker verification systems with knowledge of specific regions of interest

Mohammad Azharuddin Laskar, Rabul Hussain Laskar

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 2014-2

Patient Specific Pre-Treatment QA Verification Using an EPID Approach

Luis A. Vazquez Quino, Xiaoming Chen, Mathew Fitzpatrick [...]

Technology in Cancer Research & Treatment

Retricted access

Research article

First published 2013-9

ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems

Zbigniew Suraj, Krzysztof Pancerz

Fundamenta Informaticae

Open access

Research article

First published 2017-11

Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems

Raja Oueslati, Olfa Mosbahi

Advances in Mechanical Engineering

Search results