Sciweavers

100 search results - page 11 / 20
» Towards Dependable Home Networking: An Experience Report
Sort
View
PRDC
2005
IEEE
15 years 5 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 9 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
13 years 11 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...
ACSAC
2000
IEEE
15 years 4 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
70
Voted
JFR
2010
59views more  JFR 2010»
14 years 6 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...