Search results
-
-
Title
-
Automated formal analytics for smart grid security and resiliency
-
Author
-
Rahman, Mohammad
-
Date Created
-
2015
-
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
-
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
-
Coordinating decentralized learning and conflict resolution across agent boundaries
-
Author
-
Cheng, Shanjun
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science, Information technology, Artificial intelligence
-
Description
-
It is crucial for embedded systems to adapt to the dynamics of openenvironments. This adaptation process becomes especially challenging in the context of multiagent systems because of scalability, partial information accessibility and complex inte...
-
-
Title
-
Using formal methods towards improving cloud IaaS environments
-
Author
-
Al-Haj, Saeed
-
Date Created
-
2016
-
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. ...
-
-
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. ...