3937 search results - page 511 / 788 » Questioning Ubiquitous Computing |
160
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
Computational evolutionary art has been an active practice for at least 20 years. Given the remarkable advances in that time in other realms of computing, including other forms of ...
179
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine has m-counters operating on a one-way input delimited by left a...
173
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
150
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
165
click to vote
BROADNETS
2007
IEEE
16 years 28 days ago
2007
IEEE
—Grid computing aims to realize a high-performance computing environment, while increasing the usage efficiency of installed resources. This puts considerable constraints on the...