11345 search results - page 1666 / 2269 » Foundations of Computer Science |
170
click to vote
EDUTAINMENT
2009
Springer
16 years 1 months ago
2009
Springer
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...
170
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
128
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
163
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
164
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...