Search results

  • CSV Spreadsheet
  • RSS Feed
(1 - 5 of 5)
Automated formal analytics for smart grid security and resiliency
Group modeling, recommendation and evaluation in collaborative filtering group-based recommender systems
Coordinating decentralized learning and conflict resolution across agent boundaries
Using formal methods towards improving cloud IaaS environments
Towards Sender Accountability on Email Infrastructure using Sender Identity and Reputation Management