Sciweavers

20175 search results - page 33 / 4035
» Is abstraction the key to computing
Sort
View
BIRTHDAY
2006
Springer
15 years 4 months ago
Quantum Institutions
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...
Carlos Caleiro, Paulo Mateus, Amílcar Serna...
76
Voted
CIE
2006
Springer
15 years 4 months ago
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
Jérôme Durand-Lose
ECOOPW
1999
Springer
15 years 4 months ago
Abstractions for Mobile Computation
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...
Luca Cardelli
OPODIS
2008
15 years 1 months ago
Geo-registers: An Abstraction for Spatial-Based Distributed Computing
sters : an abstraction for spatial-based distributed computing Matthieu Roy1 , Fran
Matthieu Roy, François Bonnet, Leonardo Que...
FOCS
1993
IEEE
15 years 4 months ago
Parallel computable higher type functionals (Extended Abstract)
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...