Sökning: "computer policy"
Visar resultat 1 - 5 av 203 avhandlingar innehållade orden computer policy.
1. Symbolic Supervisory Control of Resource Allocation Systems
Sammanfattning : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. LÄS MER
2. A Systems Tool for Prescriptive Policy Analysis : Labelled Causal Mapping Method for Policy-oriented Modelling, Simulation and Decision analysis
Sammanfattning : The elicitation and processing of relevant information is the core of any policy decision-making process. Modelling is about making sense of the available information. Models are able to incorporate the contextual influences on policy making (e.g. LÄS MER
3. Microsimulation Models for Disaster Policy Making
Sammanfattning : Two executable simulation models for answering policy questions were designed and implemented. The first for a flood management case, and the second for a disease transmission case that is currently underway. The flood simulation model differs from earlier natural disaster simulation models in several respects. LÄS MER
4. Design and Investigation of a Decision Support System for Public Policy Formulation
Sammanfattning : The ultimate aim of support for public policy decision making is to develop ways of facilitating policymaking that can create policies that are consistent with the preferences of policymakers and stakeholders (such as an increase in economic growth, the reduction of social inequalities, and improvements to the environment), and that are at the same time based on the available knowledge and evidential information.Using the design science research methodology, an iterative design process was followed to build and evaluate a research artefact in the form of an analytical method that is also operationalised as a decision support system (DSS) – in order to facilitate the problem analysis, the impact assessment and the decision evaluation activities carried out at the policy formulation stage of the policymaking process. LÄS MER
5. Policy and implementation assurance for software security
Sammanfattning : To build more secure software, accurate and consistent security requirements must be specified. We have investigated current practice by doing a field study of eleven requirement specifications on IT systems. LÄS MER