Search results

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