1222 search results - page 177 / 245 » Verifying a File System Implementation |
124
Voted
PERCOM
2005
ACM
16 years 4 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...
131
Voted
DCC
2002
IEEE
16 years 4 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...
134
click to vote
SIPS
2007
IEEE
15 years 11 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...
145
Voted
ACMICEC
2006
ACM
15 years 10 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...
108
click to vote
WWW
2005
ACM
15 years 10 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...