3047 search results - page 606 / 610 » On the Meaning of Logical Completeness |
110
click to vote
CLUSTER
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper describes a novel technique for establishing a virtual file system that allows data to be transferred user-transparently and on-demand across computing and storage serve...
117
click to vote
CN
2004
14 years 11 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
91
Voted
CORR
2002
Springer
14 years 11 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
NDJFL
2000
14 years 11 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...