1581 search results - page 49 / 317 » Domain semantics of possibility computations |
131
click to vote
VL
2003
IEEE
15 years 10 months ago
2003
IEEE
Computer science as a discipline is failing to reach a diverse audience. As a result, computational illiteracy threatens many groups of underserved students—women, minorities an...
108
click to vote
ERSA
2007
15 years 6 months ago
2007
An autonomous computing system is a system that functions with a large degree of independence, and assumes a large amount of responsibility for its own resources and operation. As...
143
click to vote
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This ac...
150
click to vote
ECBS
1999
IEEE
15 years 9 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
158
Voted
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...