Sciweavers

1744 search results - page 20 / 349
» A Proof-Carrying File System
Sort
View
ISMIR
2001
Springer
99views Music» more  ISMIR 2001»
15 years 2 months ago
A Naturalist Approach to Music File Name Analysis
: Music title identification is a key ingredient of contentbased electronic music distribution. Because of the lack of standards in music identification – or the lack of enforcem...
François Pachet
ICDE
2001
IEEE
167views Database» more  ICDE 2001»
15 years 11 months ago
Database Managed External File Update
RDBMS's have evolved to an extent that they are used to manage almost all of traditional business data in a robust fashion. Nevertheless, a large fraction of unstructured and...
Neeraj Mittal, Hui-I Hsiao
HICSS
2007
IEEE
96views Biometrics» more  HICSS 2007»
15 years 4 months ago
Why People e-File (or Don't e-File) Their Income Taxes
In 2005, 52% of taxpayers filed their federal returns electronically. This is far short of the IRS goal of having 80% of returns filed electronically by 2007. Using the e-commerce...
Linda M. Gallant, Mary J. Culnan, Patrick McLoughl...
ACSC
2005
IEEE
15 years 3 months ago
A File Discovery Control Scheme for P2P File Sharing Applications in Wireless Mobile Environments
The mobility characteristic brings new challenges for research of P2P computing over the wireless mobile networking environment. Peers’ movements in wireless mobile network chan...
Chung-Ming Huang, Tz-Heng Hsu, Ming-Fa Hsu
DSN
2008
IEEE
14 years 11 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick