5838 search results - page 303 / 1168 » A File System for System Programming in Ubiquitous Computing |
112
click to vote
DCC
2005
IEEE
16 years 4 months ago
2005
IEEE
We discuss a lossless data compression system that uses fixed Tree Machines to encode data. The idea is to create a sequence of Tree Machines and a robust escape method aimed at p...
170
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present a new cache maintenance scheme, called AS, suitable for wireless mobile environment. Our scheme integrates mobility management scheme of Mobile IP with ca...
145
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
134
Voted
UIST
1999
ACM
15 years 8 months ago
1999
ACM
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...
146
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Over the last 2-3 years, the importance of data-intensive computing has increasingly been recognized, closely coupled with the emergence and popularity of map-reduce for developin...