16626 search results - page 106 / 3326 » Computing is a natural science |
143
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
165
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
137
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computer games are a multi-billion dollar industry and have become an important part of our private and social lives. It is only natural, then, that the technology used to create ...