4744 search results - page 125 / 949 » Connected Computing |
108
click to vote
BIRTHDAY
2010
Springer
15 years 17 days ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
123
click to vote
MA
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents a mobile-agent framework for building and testing mobile computing applications. When a portable computing device is moved into and attached to a new network, t...
129
click to vote
CIE
2007
Springer
15 years 9 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
110
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents the binary flattenings of shapes, first as a connected operator suppressing particles or holes, second as an erosion in a particular lattice of shapes. Using t...
122
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The computing resources in a volunteer computing system are highly diverse in terms of software and hardware type, speed, availability, reliability, network connectivity, and othe...