Search results
-
-
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
-
ESIDE: The integration of secure programming education into the IDE
-
Author
-
Whitney, Michael
-
Date Created
-
2015
-
Subjects--Topical
-
Computer science
-
Description
-
Securing the world's technological resources has become one of the largest challenges of modern day. From healthcare to national security, power grids to public safety, the world is reliant on computer systems and their ability to perform in a saf...
-
-
Title
-
PRESERVING DIFFERENTIAL PRIVACY IN COMPLEX DATA ANALYSIS
-
Author
-
Wang, Yue
-
Date Created
-
2015
-
Subjects--Topical
-
Computer science, Data sets
-
Description
-
Omnipresent databases from various resources, such as social networks, electronic commercial websites, and health related wearable devices, have provided researchers with unprecedented opportunities to analyze complex social phenomena. While socie...
-
-
Title
-
Video Collaboratory - Asynchronous Collaboration Around Web-based Videos
-
Author
-
Singh, Vikash
-
Date Created
-
2015
-
Subjects--Topical
-
Computer science, Information technology
-
Description
-
Most Internet users consume video in some form or another. However, despite the huge amount of content available on various video sites, typical interactions with the videos are limited to posting and viewing. Overall, online video artifacts are s...
