Results 1 - 10
of
8,414
Trusted Declassification -- High-level policy for a security-typed language
, 2006
"... Security-typed languages promise to be a powerful tool with which provably secure software applications may be developed. Programs written in these languages enforce a strong, global policy of noninterference which ensures that high-security data will not be observable on low-security channels. Beca ..."
Abstract
-
Cited by 31 (13 self)
- Add to MetaCart
Security-typed languages promise to be a powerful tool with which provably secure software applications may be developed. Programs written in these languages enforce a strong, global policy of noninterference which ensures that high-security data will not be observable on low-security channels
K.: Transformational approach to facilitate monitoring of high level policies
- All356, SINTEF Information and Communication Technologies
, 2008
"... We present a method for (1) specifying high-level secu-rity policies using UML sequence diagrams and (2) trans-forming high-level sequence diagram policies into low-level state machine policies that can be enforced by monitoring mechanisms. We believe that the method is both easy to use and useful s ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
We present a method for (1) specifying high-level secu-rity policies using UML sequence diagrams and (2) trans-forming high-level sequence diagram policies into low-level state machine policies that can be enforced by monitoring mechanisms. We believe that the method is both easy to use and useful
Scheduling in a Grid Environment Using High Level Policies
, 2005
"... Grid computing has been proposed as a solution to increasing computational demands for many or-ganisations. Grids consist of a wide range of computational resources, and typically a wide range of diverse jobs. We consider the problem of controllability, the ability for the organisation to specify a ..."
Abstract
- Add to MetaCart
policy controlling which users and organisational units receive the best service, whilst using a Grid. We do this by considering scheduling, the assignment of jobs onto the resources. Most existing work on Grid scheduling considers each application as it arrives, thus implicitly giving preference
OECD High-Level Policy Forum on Mental Health and Work Bridging Employment and Health Policies
, 2015
"... Mental health is an important driver of labour market outcomes and thus affects economic growth and future development. In OECD countries, mental ill-health is responsible for between one-third and one-half of all long-term sickness and disability among the working-age population. It causes and exac ..."
Abstract
- Add to MetaCart
-30 percentage points lower and their unemployment rate is twice as high. They are also twice as likely to live in poor households. In the workplace, employees who suffer from mental ill-health tend to underperform and their low productivity is probably the single biggest cost factor, borne to a large extent
Job Creation and Destruction
, 1996
"... With unemployment at historically high levels in many OECD countries, increased job creation has risen to the top of the policy agenda for many western governments-but how can this be achieved? The importance of job creation (and destruction) in an economy cannot be overstated. Labour is organized a ..."
Abstract
-
Cited by 909 (68 self)
- Add to MetaCart
With unemployment at historically high levels in many OECD countries, increased job creation has risen to the top of the policy agenda for many western governments-but how can this be achieved? The importance of job creation (and destruction) in an economy cannot be overstated. Labour is organized
Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,
, 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract
-
Cited by 622 (2 self)
- Add to MetaCart
under government sponsorship are encouraged to express their own judgment freely, this report does not necessarily represent the official opinion or policy of the government. redesign are not fully adequate to meet the problems encountered in their application. Especially troublesome is the paucity
Nimrod/G: An architecture for a resource management and scheduling system in a global computational Grid
- PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING IN ASIA-PACIFIC REGION (HPC ASIA 2000)
, 2000
"... Abstract- The availability of powerful microprocessors and high-speed networks as commodity components has enabled high performance computing on distributed systems (wide-area cluster computing). In this environment, as the resources are usually distributed geographically at various levels (departme ..."
Abstract
-
Cited by 406 (70 self)
- Add to MetaCart
Abstract- The availability of powerful microprocessors and high-speed networks as commodity components has enabled high performance computing on distributed systems (wide-area cluster computing). In this environment, as the resources are usually distributed geographically at various levels
Beyond Separation of Duty: An Algebra for Specifying High-level Security Policies
, 2005
"... A separation of duty policy requires a sensitive task to be performed by a team of at least k users. It states a high-level requirement about the task without the need to refer to individual steps in the task. While extremely important and widely used, separation of duty policies cannot capture qual ..."
Abstract
-
Cited by 14 (0 self)
- Add to MetaCart
A separation of duty policy requires a sensitive task to be performed by a team of at least k users. It states a high-level requirement about the task without the need to refer to individual steps in the task. While extremely important and widely used, separation of duty policies cannot capture
Results 1 - 10
of
8,414