Sciweavers

100 search results - page 11 / 20
» Towards Dependable Home Networking: An Experience Report
Sort
View
PRDC
2005
IEEE
15 years 7 months ago
A Multi-Faceted Approach towards Spam-Resistible Mail
As checking SPAM became part of our daily life, unsolicited bulk e-mails (UBE) have become unmanageable and intolerable. Bulk volume of spam e-mails delivering to mail transfer ag...
Ming-Wei Wu, Yennun Huang, Shyue-Kung Lu, Ing-Yi C...
POPL
2010
ACM
15 years 11 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
EMNLP
2011
14 years 1 months ago
Dual Decomposition with Many Overlapping Components
Dual decomposition has been recently proposed as a way of combining complementary models, with a boost in predictive power. However, in cases where lightweight decompositions are ...
André L. Martins, Noah A. Smith, Már...
101
Voted
ACSAC
2000
IEEE
15 years 6 months ago
Protection Profiles for Remailer Mixes -Do the New Evaluation Criteria Help?
Early IT security evaluation criteria like the TCSEC and the ITSEC suffered much criticism for their lack of coverage of privacy-related requirements. Recent evaluation criteria, ...
Kai Rannenberg, Giovanni Iachello
JFR
2010
59views more  JFR 2010»
14 years 8 months ago
A robotic system for monitoring carp in Minnesota lakes
Robotic Sensor Networks (RSNs) find increasing use in environmental monitoring as RSNs can collect data from obscure, hard-to-reach places over long periods of time. This work rep...
Pratap Tokekar, Deepak Bhadauria, Andrew Studenski...