Results 261 to 270 of about 110,833 (284)
Some of the next articles are maybe not open access.
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
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
Proceedings of the 1998 ACM symposium on Applied Computing - SAC '98, 1998
Sei Chun, Huizhu Lu, Jonghoon Chun
openaire +1 more source
Sei Chun, Huizhu Lu, Jonghoon Chun
openaire +1 more source