Naval Postgraduate School
Theses and Dissertations
Now showing items 11-20 of 83
Nextgen Navy eLearning tracking
(Monterey, California: Naval Postgraduate School, 2014-12)
The Navy’s eLearning (NeL) computer-based learning system relies on a Learning Management System (LMS) for content delivery and tracking learning information. One major obstacle with NeL’s current LMS implementation is ...
Mobility and cloud: operating in intermittent, austere network conditions
(Monterey, California: Naval Postgraduate School, 2014-09)
Cloud computing is emerging as the mainstream platform for a range of on-demand applications, services, and infrastructure. Before the benefits of cloud computing are realized, several technology challenges must be addressed. ...
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems
(Monterey, California: Naval Postgraduate School, 2013-09)
This thesis researches the role of software architectural patterns and lightweight formal methods in safety-critical software development. We present a framework that relates the different activities and products from ...
SPECIFICATION, VALIDATION AND VERIFICATION OF MOBILE APPLICATION BEHAVIOR
(Monterey, California. Naval Postgraduate School, 2013-03)
Mobile devices have, in many ways, replaced traditional desktops in usability, usefulness, and availability. Improvements to computational power, battery life, device capabilities, and user experience will continue to drive ...
An investigation into specifying service level agreements for provisioning cloud computing services
(Monterey, California. Naval Postgraduate School, 2012-12)
Within the U.S. Department of Defense (DoD), service level agreements are a widely used tool for acquiring enterprise-level information technology (IT) resources. In order to contain, if not reduce, the total cost of ...
Cloud-based Communications Planning Collaboration and Interoperability
(Monterey, California. Naval Postgraduate School, 2012-06)
Communications planning is a key part of the Marine Corps operational planning process. The ability to design and analyze communication network plans efficiently and accurately has a direct impact on the ability of commanders ...
MVC for content management on the cloud
(Monterey, California. Naval Postgraduate School, 2011-09)
Cloud computing portrays a new model for providing IT services over the Internet. In cloud computing, resources are accessed from the Internet through web-based tools. Although cloud computing offers reduced cost, increased ...
Infrastructure suitability assessment modeling for cloud computing solutions
(Monterey, California. Naval Postgraduate School, 2011-09)
Maturing virtualization in information technology systems has enabled increased implementations of the cloud com-puting paradigm, dissolving the need to co-locate user and computing power by providing desired services ...
The effectiveness of software project management practices a quantitative measurement
(Monterey, California. Naval Postgraduate School, 2011-03)
A tool that measures the effectiveness of software project management can be used to identify strengths and weaknesses, and guide improvement to practices in order to increase the chances of project success. The Software ...
Using statechart assertion for the formal validation and verification of a real-time software system a case study
(Monterey, California. Naval Postgraduate School, 2011-03)
V testing.
Refine By:
Advisor
-
Shing, Man-Tak (83)
Author
Branch Of Service
Date Issued
Degree
-
Masters (83)
Department
-
Computer Science (83)