Results 201 to 210 of about 270,225 (234)

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

Programming and computer software, 2003
V. Nepomniaschy, I. Anureev, A. Promsky
semanticscholar   +1 more source

A semantic axiomatic design for integrity in IoT

Transactions on Emerging Telecommunications Technologies
AbstractIn the complex, critical, and rapidly evolving era of Industry 4.0 manufacturing, mature engineering disciplines can be developed to validate system designs at an abstract level, enabling effective fault‐free environments. However, designing integrated IoT platforms presents significant challenges due to their inherent complexity and ...
openaire   +1 more source

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview

Logic of Programs, 1983
B. Trakhtenbrot, Joseph Y. Halpern, A. Meyer   +2 more
semanticscholar   +1 more source

Preference–Approval Structures in Group Decision Making: Axiomatic Distance and Aggregation

Decision Analysis, 2021
Yucheng Dong, Yao Li, Ying He
exaly  

A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach

Protocol Specification, Testing and Verification, 1992
Chang-Jia Wang, Ming T. Liu
semanticscholar   +1 more source

Semantic Integration “Axiomatizing WordNet: A Hybrid Methodology

2003
Workshop Monday, October 20, 2003, Sundial Resort, Sanibel Island, Florida, USA, held in conjunction with The Second International Semantic Web Conference (ISWC 2003)
openaire   +1 more source

Correctness of the compiling process based on axiomatic semantics

Acta Informatica, 1980
Bruce Russell
semanticscholar   +1 more source

Concept design evaluation by using Z-axiomatic design

Computers in Industry, 2020
Sena AydoĞan, Diyar Akay
exaly  

From low-level geometric features to high-level semantics: An axiomatic fuzzy set clustering approach

Journal of Intelligent & Fuzzy Systems, 2016
Qilin Li, Yan Ren, Ling Li, Wanquan Liu
semanticscholar   +1 more source

Axiomatic semantics of R-schemas and verification of graphic programs

CYBERNETICS, 1990
I. Kasatkina, A. Kovalev, S. Ershov
semanticscholar   +1 more source