Results 281 to 290 of about 311,790 (314)

Semantics of Multimodal Network Models

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2009
A multimodal network (MMN) is a novel graph-theoretic formalism designed to capture the structure of biological networks and to represent relationships derived from multiple biological databases. MMNs generalize the standard notions of graphs and hypergraphs, which are the bases of current diagrammatic representations of biological phenomena, and ...
Lenwood S. Heath, Allan A. Sioson
openaire   +2 more sources

Linking Semantic Models

2007
A theory of programming is intended to help in the construction of programs that provably meet their specifications. It starts with a complete lattice of specifications, used as a domain for the semantics of the programming language. The operators of the language are defined as monotonic functions over this domain.
openaire   +1 more source

Domains as Models for Semantic Information

Fundamenta Informaticae, 2015
We propose a framework in terms of domain theory for semantic information models. We show how an artificial agent (the computer) can operate within such a model in a multiple attitude environment (fuzziness) where information is conveyed. We illustrate our approach by two examples — taking as the set of the degrees of reliability Kleene's 3-valued ...
openaire   +1 more source

Parallelism semantics in modeling activities

Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, 2018
In previous work, we proposed modeling and simulation of UML activities in Parallel DEVS. With respect to parallelism, either one of the following statements holds true about the semantics of activities in order to attain a valid execution. A time base, regardless of its granularity, shall be explicitly defined in order to account for parallelism in a ...
Abdurrahman Alshareef, Hessam S. Sarjoughian   +1 more
openaire   +2 more sources

Model theoretic semantics for Demo

1992
A useful 3-valued provability predicate Demos is defined, that can provably simulate non-classical logics and connectives (like autoepistemic logic and negation-as-failure) and that, despite its 3-valued semantics, is able to capture thoroughly classical notions of provability and unprovability.
openaire   +2 more sources

Semantic Modeling: Computational Models of the Concepts

2010 International Conference on Computational Intelligence and Security, 2010
As known, computing allows maintenance of the constructions corresponding to the needs in comprehended models which enable the computational experiment. Computing takes the enabling of such a model which corresponds to a 'theory'. The parameters of the model are systematically changing and correspond to 'entries' for the inputs.
openaire   +1 more source

Assessing the specification of modelling language semantics: a study on UML PSSM

Software Quality Journal, 2023
Marton Elekes, Vince Molnár, Zoltan Micskei   +2 more
exaly  

Automating Cognitive Modelling Considering Non-Formalisable Semantics

Lecture Notes in Networks and Systems, 2022
Alexander Raikov, Raikov Alexander
exaly  

Semantic models for concurrency

ACM SIGSOFT Software Engineering Notes, 2000
openaire   +1 more source

Incorporating ontology-based semantics into conceptual modelling

Information Systems, 2015
John F Roddick
exaly