Results 251 to 260 of about 857,569 (295)
Some of the next articles are maybe not open access.
Modelling programming language semantics using a common semantic model
2006Software Engineers are interested in understanding software structure in order to manage its complexity, and to assure and improve its quality. Semantic models can inform tools to communicate this information to humans. The .NET framework provides a common semantic underpinning for a wide range of programming languages in an intermediate language ...
openaire +2 more sources
Modelling Behaviour Semantically
2013Context is only one of several strata of meaning and we can not predict realisation at the lexical or grammatical level from context alone. Yet, there is a tendency to confuse contextual patterning with semantic patterning and allocate patterning to the contextual level that might better be dealt with on other levels.
David Butt +2 more
openaire +1 more source
Volume 1: 32nd Design Automation Conference, Parts A and B, 2006
A significant amount of research efforts has been given to explore the mathematical basis for 3D dimensional and geometric tolerance representation, analysis, and synthesis. However, engineering semantics is not maintained in these mathematic models. It is hard to interpret calculated numerical results in a meaningful way. In this paper, a new semantic
openaire +2 more sources
A significant amount of research efforts has been given to explore the mathematical basis for 3D dimensional and geometric tolerance representation, analysis, and synthesis. However, engineering semantics is not maintained in these mathematic models. It is hard to interpret calculated numerical results in a meaningful way. In this paper, a new semantic
openaire +2 more sources
The biofilm life cycle: expanding the conceptual model of biofilm formation
Nature Reviews Microbiology, 2022Karin Sauer +2 more
exaly
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
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
Machine learning methods to model multicellular complexity and tissue specificity
Nature Reviews Materials, 2021Aaron K Wong, Olga G Troyanskaya
exaly