Results 141 to 150 of about 18,885 (168)

Implicit, Formal, and Powerful Semantics in Geoinformation

ISPRS International Journal of Geo-Information, 2021
Paola Carrara, Paolo Tagliolato Acquaviva D'Aragona, Gloria Bordogna   +2 more
exaly  

Formal Semantics of a Classical-Quantum Language

Theoretical Computer Science, 2022
Yuan Feng, Yuxin Deng
exaly  

Formal Semantics in Modern Type Theories With Coercive Subtyping

Linguistics and Philosophy, 2012
Zhaohui Luo
exaly  

Formal Semantics for Interacting UML Subsystems

IFIP Advances in Information and Communication Technology, 2002
Jan Jürjens
exaly  

A Formal Semantics for the Taverna 2 Workflow Model

Journal of Computer and System Sciences, 2010
Paolo Missier, Jacek Andrzej Sroka, Jan Hidders   +2 more
exaly  

Reconciling NSM and Formal Semantics

Australian Journal of Linguistics, 2016
Avery D Andrews
exaly  

XQuery Formal Semantics State and Challenges

SIGMOD Record, 2001
Peter Fankhauser
exaly  

The Formal Semantics of SDL-2000: Status and Perspectives

Computer Networks, 2003
R Gotzhein
exaly  

A Formal Semantics of Data Flow Diagrams

Formal Aspects of Computing, 1994
Peter Gorm Larsen, Nico Plat
exaly  

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification

IEEE Access, 2019
Jianqi Shi, Yanhong Huang
exaly