10156 search results - page 7 / 2032 » Step by Step to Histories |
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
CERA
2002
13 years 8 months ago
2002
: A pilot system has been developed to promote the collaborative engineering design on the Internet. Product models are stored in a shared database which is formatted according to ...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
JCISE
2002
13 years 8 months ago
2002
The first Technical Note in this series [1] introduced the international standard ISO 10303, informally known as STEP (STandard for the Exchange of Product model data). Subsequent...