1222 search results - page 102 / 245 » Verifying a File System Implementation |
111
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Modern peer-to-peer file sharing systems rely heavily on the willingness of users to distribute files to others. A selfish user can choose to download a file and consume resou...
138
Voted
FCCM
2005
IEEE
15 years 8 months ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
165
Voted
WIS
2004
15 years 4 months ago
2004
We envision an environment where humans communicate directly with computers without additional authentication inputs like passwords, passphrases, PINs (Personal Identification Num...
99
Voted
ECRTS
1999
IEEE
15 years 7 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
133
Voted
IKE
2007
15 years 4 months ago
2007
Information retrieval emerged as independent research area from traditional database management system more than a decade ago. This was driven by the increasing functional require...