1222 search results - page 119 / 245 » Verifying a File System Implementation |
109
Voted
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
—In mobile environment, it is very common that mobile devices periodically stay in disconnection mode. In a networked world as today, computer users rely on network services so h...
136
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
128
Voted
USS
2010
15 years 19 days ago
2010
One of the main obstacles for the wider deployment of radio (RF) distance bounding is the lack of platforms that implement these protocols. We address this problem and we build a ...
132
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
148
click to vote
DEXAW
2006
IEEE
15 years 8 months ago
2006
IEEE
: Scalable Distributed Data Structures (SDDSs) store large scalable files over a distributed RAM of nodes in a grid or a P2P network. The files scale transparently for the applicat...