• No results found

ponder policy specification language

Requirements-Based Access Control Analysis and Policy Specification

Requirements-Based Access Control Analysis and Policy Specification

... In order to answer these two questions, we performed an empirical study in a graduate-level software engineering class at North Carolina State University during the Spring 2005 semester. As previously mentioned, there is ...

256

Integrating access control policy specification into the software development process

Integrating access control policy specification into the software development process

... To evaluate the effectiveness and usefulness of ReCAPS, we conducted an empirical study in a graduate- level software engineering class at NCSU. Because of the lack of prescriptive guidance for ACP specification, ...

10

Behavioural specification of grid services with the KAoS Policy Language

Behavioural specification of grid services with the KAoS Policy Language

... Specifically, policy lan- guages, such as KA O S [4] or Ponder [6], allow system de- signers to externally adjust the bound of autonomous be- haviour, in order to ensure safety and effectiveness of their ...

8

Requirements-based access control analysis and policy specification (RECAPS)

Requirements-based access control analysis and policy specification (RECAPS)

... natural language; examples include website privacy policies, corporate security policies, security and privacy laws, ...as Ponder [11] and XACML ...Authorization Specification Language (ASL) ...

10

AUTOMATIC DATABASE CONSTRUCTION FROM NATURAL LANGUAGE REQUIREMENTS SPECIFICATION TEXT

AUTOMATIC DATABASE CONSTRUCTION FROM NATURAL LANGUAGE REQUIREMENTS SPECIFICATION TEXT

... by (Marchi et al., 2009). Identification of relationship between the columns which explains the properties and characteristics of the values from the relational database was studied by (Meihui Zhang et al., 2011). Though ...

7

Formal Specification of Natural Language Syntax Using Two Level Grammar

Formal Specification of Natural Language Syntax Using Two Level Grammar

... FORMAL SPECIFICATION OF NATURAL LANGUAGE SYNTAX USING TWO LEVEL GRAMMAR F O R M A L S P E C I F I C A T I O N O F N A T U R A L L A N G U A G E S Y N T A X A B S T R A C T T h e two level g r a m m a[.] ...

6

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

... HLPSL specification given in ...existing specification languages; indeed, such control patterns cannot even be adequately described in the simple Alice & Bob notation ...the specification of a ...

13

Language Policy in Non-Classroom Language Learning Spaces

Language Policy in Non-Classroom Language Learning Spaces

... only language policy, need to be considered when attempting to make LLSs more ...English-only policy seems to be a barrier to usage in Japan, interestingly, in one case in Mexico, also an EFL ...

24

Twice-Exceptional Gifted Students: Needs, Challenges, and Questions to Ponder

Twice-Exceptional Gifted Students: Needs, Challenges, and Questions to Ponder

... Winebrenner (2003) indicates several strategies that help to address and to deal with the different learning needs of students. who have been identified as twice-exceptional[r] ...

13

Bayesian Ecometrics – A genial device to ponder Ecological Data Analysis

Bayesian Ecometrics – A genial device to ponder Ecological Data Analysis

... In particular, Bayesian analyses for complicated models can be carried out on a fixed data set relatively simple using Monte Carlo methods to simulate posterior distributions.. Monte Car[r] ...

7

Aggregation in the NL generator of the Visual and Natural language Specification Tool

Aggregation in the NL generator of the Visual and Natural language Specification Tool

... The IGF will contain a new aggregation rule, the so called predicate grouping rule which will make the generated text easier to read, further on is proposed to use a bidirectional gramma[r] ...

5

The formal specification for measuring dust concentration using Z language

The formal specification for measuring dust concentration using Z language

... The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of ...

41

GCSE. English Language Specification. April OCR GCSE in English Language. OCR 2014 GCSE English Language QN: 601/3167/6

GCSE. English Language Specification. April OCR GCSE in English Language. OCR 2014 GCSE English Language QN: 601/3167/6

... Candidates talk confidently in familiar situations, showing some awareness of purpose and of listeners’ needs. They convey information, develop ideas and describe feelings clearly, using the main features of standard ...

55

The new normal : economists ponder whether the "natural" rate of unemployment has risen

The new normal : economists ponder whether the "natural" rate of unemployment has risen

... But the Phillips curve may redeem itself when the variables move to extremes. It is in steep recessions that the inflation-unemployment relationship seems strongest, argue San Francisco Fed economists Zheng Liu and Glenn ...

5

Fiscal Deficit cannot be reduced by increasing Taxes (A point to ponder from Pakistan)

Fiscal Deficit cannot be reduced by increasing Taxes (A point to ponder from Pakistan)

... fiscal policy of Korea, Singapore and Thailand is driven by expenditures where the government finances revenue for the planned expenditures according to the limit of the balanced budget which facilitate the long ...

7

Planning language teaching : an argument for the place of pedagogy in language policy and planning

Planning language teaching : an argument for the place of pedagogy in language policy and planning

... Education Policy (2001) and the Native Education Policy (1994) are important initiatives to raise the profile of Taiwanese indigenous languages and cultures and to provide education and literacy in these ...

14

Vanuatu National Language Policy 2012

Vanuatu National Language Policy 2012

... the language of instruction. The language of instruction used by a school usually reflects the official language background of the community it ...the language of instruction while ...

20

Formal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Process

Formal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Process

... JPIAspectZ specification for the Painting system: a Shape interface; Point and Line classes; the JPI instances JPIUpdateX, JPIUpdateY, and JPIMove; and aspect ...(JPIAspectZ specification) for the modeling ...

6

Translanguaging in Self-Access Language Advising: Informing Language Policy

Translanguaging in Self-Access Language Advising: Informing Language Policy

... only’ policy has been superseded by the realization that some use of the students’ L1 is beneficial when talking about ...to language acquisition would appear to be more embedded in student beliefs about ...

23

Monetary policy and macroeconomic shocks in ethiopia  specification, estimation and analysis of monetary policy reaction function

Monetary policy and macroeconomic shocks in ethiopia specification, estimation and analysis of monetary policy reaction function

... monetary policy reaction function in the context of the inflation-targeting ...a policy variable in a forward- looking model to influence inflation depending upon the deviation of expected inflation from ...

13

Show all 10000 documents...

Related subjects