Runtime verification of programs using rule-based active system

Runtime verification of programs using rule-based active system

Bibliographic Details
Main Author:	Seyed Morteza Babamir
Format:	Article
Language:	English
Published:	Shahid Bahonar University of Kerman 2012-01-01
Series:	Journal of Mahani Mathematical Research
Subjects:	run-time verification eca rule active database aspect-oriented
Online Access:	https://jmmrc.uk.ac.ir/article_357_97eeac60f6ee481c938b4ed4674c9aaf.pdf

Similar Items

Decentralized Stream Runtime Verification for Timed Asynchronous Networks
by: Luis Miguel Danielsson, et al.
Published: (2023-01-01)

Application of active query languages to the implementation of business rules
by: Olegas Vasilecas, et al.
Published: (2004-12-01)

Reconfigurable Smart Contracts for Renewable Energy Exchange with Re-Use of Verification Rules
by: Tomasz Górski
Published: (2022-05-01)

Business rules systems modelling with UML and rules enforcing in active relational databases
by: Olegas Vasilecas, et al.
Published: (2004-12-01)

Runtime Verification for Anomaly Detection of Robotic Systems Security
by: Yunus Sabri Kirca, et al.
Published: (2023-01-01)

A rule repository for active database systems
by: Sidney Viana, et al.
Published: (2007-12-01)

A multicenter study for establishment and evaluation of auto-verification rules for routine coagulation tests
by: Linzi Miao, et al.
Published: (2022-01-01)

Runtime verification in uncertain environment based on probabilistic model learning
by: Ge Zhou, et al.
Published: (2022-09-01)

DATA VERIFICATION IN ISSUE SUPERVISING SYSTEMS
by: R. S. Katerinenko, et al.
Published: (2013-01-01)

War, Schengen, and the Rule of Law
by: Diana Dehelean, et al.
Published: (2022-11-01)

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
by: Mina Chavoshi, et al.
Published: (2023-09-01)

A DSL-based runtime adaptivity framework for Java
by: Tiago Carvalho, et al.
Published: (2023-07-01)

Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments
by: Lei Hang, et al.
Published: (2020-02-01)

Precise verification of C programs
by: Lewis, M
Published: (2014)

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
by: Debora C. Engelmann, et al.
Published: (2023-03-01)

Streamlining Temporal Formal Verification over Columnar Databases
by: Giacomo Bergami
Published: (2024-01-01)

Checking Temporal Constraints of Events in EBS at Runtime
by: Trinh Thanh-Binh, et al.
Published: (2024-03-01)

Verification of the expert’s opinion
by: M. H. Shcherbakovskyi, et al.
Published: (2022-09-01)

Runtime verification for stochastic systems
by: Wilcox, Cristina M
Published: (2010)

CONCENTRAÇÕES PLASMÁTICAS DAS ENZIMAS CONVERSORAS DE ANGIOTENSINA (ECA E ECA2) COMO POTENCIAIS MARCADORES DE GRAVIDADE EM PACIENTES ACOMETIDOS POR COVID-19
by: Luiz Henrique Alves Costa, et al.
Published: (2023-10-01)

A New Look at the Enterobacterial Common Antigen Forms Obtained during Rough Lipopolysaccharides Purification
by: Tomasz K Gozdziewicz, et al.
Published: (2021-01-01)

BlockASP: A Framework for AOP-Based Model Checking Blockchain System
by: Anas M. R. AlSobeh, et al.
Published: (2023-01-01)

Can proactively confessing obtain your embrace? Exploring for leader’s pro-social rule-breaking consequences based on a self-verification perspective
by: Fan Wang, et al.
Published: (2023-02-01)

Representation of UML Class Diagrams in OWL 2 on the Background of Domain Ontologies
by: Małgorzata Sadowska, et al.
Published: (2019-01-01)

Testimony on Voter Verification
by: Selker, Ted
Published: (2015)

Perspectives on the Role of Business Rules in Database Design
by: Anca Ioana ANDREESCU, et al.
Published: (2012-05-01)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
by: Forejt, V, et al.
Published: (2012)

Sweet Like Sugar, Bitter Like a Lemon: Bulgaria’s CVM Report
by: Radosveta Vassileva

Automated Fingerprint Identification System: with and without the Possibility of Correction of a Digitalised Image
by: Natasa Petrovic, et al.
Published: (2022-01-01)

A program for the independent verification of brachytherapy planning system calculations
by: Facundo Ballester, et al.
Published: (2010-10-01)

Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
by: Khaled A. Ismail, et al.
Published: (2021-11-01)

Research on Verification Method of Civil Aircraft Maintenance Manual
by: ZHANG Yajie, et al.
Published: (2021-10-01)

O TEMPO DE EÇA E EÇA E O TEMPO
by: Eduardo Lourenço
Published: (1996-12-01)

VALERÁ A PENA LER AS CARTAS ALHEIAS?
by: Beatriz Berrini
Published: (1993-12-01)

UM ARTISTA DA PALAVRA
by: Equipe Editorial
Published: (1995-12-01)

MESA REDONDA SOBRE EÇA DE QUEIROZ
by: Barbara Spaggiari
Published: (1993-12-01)

EÇA, UM ESPELHO QUE NÃO NOS SAI DA FRENTE
by: Mário Soares
Published: (1996-12-01)

A MALDIÇÃO DO MANUSCRITO AUTÓGRAFO Censura e Auto-Censura nos Manuscritos de Eça de Queiroz
by: Luiz Fagundes Duarte
Published: (1996-12-01)

Tempo e destino n'Os Maias, de Eça de Queirós
by: João Décio
Published: (1987-12-01)

ALGUMAS PALAVRAS
by: Gilda Santos
Published: (1996-12-01)