Search results | J. Murrey Atkins Library

Title: Automated formal analytics for smart grid security and resiliency
Author: Rahman, Mohammad
Date Created: 2015
Subjects--Topical: Computer science, Sports administration
Description: Smart grid is the modernization of the legacy electric power system in which cyber computing and communications are integrated with the physical world of power systems. A smart grid provides efficient and cost-effective management of the grid by a...

Title: Group modeling, recommendation and evaluation in collaborative filtering group-based recommender systems
Author: Najjar, Nadia
Date Created: 2015
Subjects--Topical: Computer science, Artificial intelligence
Description: As the field of recommender systems has grown, more and more attention has been focused on the need forsystems that provide and tailor recommendations to groups of users, as opposed to individuals. We have identified open issues in group-based rec...

Title: Towards Sender Accountability on Email Infrastructure using Sender Identity and Reputation Management
Author: Singaraju, Gautam
Date Created: 2009
Subjects--Topical: Computer science
Description: Email Infrastructure has grown exponentially, since the early days of ARPANET, to support millions of users. However, the extensive adoption of the original open design has led to security implications. As claimed in recent statistics, about 95% o...

Title: Using formal methods towards improving cloud IaaS environments
Author: Al-Haj, Saeed
Date Created: 2016
Subjects--Topical: Computer science
Description: Cloud computing has become a prominent technology with the potential for tremendously positive effects on the future of computer networks and services. However, as the resources are shared in cloud environments, cloud security is a major concern. ...