20175 search results - page 33 / 4035 » Is abstraction the key to computing |
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
76
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
ions for Mobile Computation Luca Cardelli Microsoft Research Abstract. We discuss the difficulties caused by mobile computing and mobile computation over wide area networks. We pro...
OPODIS
2008
15 years 1 months ago
2008
sters : an abstraction for spatial-based distributed computing Matthieu Roy1 , Fran
FOCS
1993
IEEE
15 years 4 months ago
1993
IEEE
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz