1222 search results - page 177 / 245 » Verifying a File System Implementation |
103
Voted
PERCOM
2005
ACM
16 years 2 months ago
2005
ACM
Preserving one's uniquely customized computing environment as one moves to different locations is an enduring challenge in mobile computing. We examine why this capability is...
116
click to vote
DCC
2002
IEEE
16 years 2 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
111
Voted
SIPS
2007
IEEE
15 years 8 months ago
2007
IEEE
OFDM demodulation under fast fading radio channels is very computationally demanding, making the implementation of Software Defined Radio (SDR) solutions problematic. A suboptima...
128
click to vote
ACMICEC
2006
ACM
15 years 8 months ago
2006
ACM
This paper introduces a new class of information security solution. The core technology, to authorize and track the use of digital files, was originally developed in eCommerce app...
WWW
2005
ACM
15 years 8 months ago
2005
ACM
In this poster, we present an information extraction engine for web-based forums. The engine analyzes the HTML files crawled from web forums, deduces the wrapper (template) of the...