5964 search results - page 229 / 1193 » A theory of speculative computation |
209
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
239
click to vote
LOGCOM
2010
15 years 2 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
176
click to vote
EJIS
2006
15 years 7 months ago
2006
This paper proposes extending the frontiers of information systems (IS) research by seeing computer art as a kind of information system. It explores some research questions that a...
197
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...