820 resultados para Italic language and dialects.
Resumo:
150 p.
Resumo:
Francis, Matthew, Language and Community in the Poetry of W.S. Graham (Cambridge: Salt Publishing, 2004) RAE2008
Resumo:
This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.
A policy-definition language and prototype implementation library for policy-based autonomic systems
Resumo:
This paper presents work towards generic policy toolkit support for autonomic computing systems in which the policies themselves can be adapted dynamically and automatically. The work is motivated by three needs: the need for longer-term policy-based adaptation where the policy itself is dynamically adapted to continually maintain or improve its effectiveness despite changing environmental conditions; the need to enable non autonomics-expert practitioners to embed self-managing behaviours with low cost and risk; and the need for adaptive policy mechanisms that are easy to deploy into legacy code. A policy definition language is presented; designed to permit powerful expression of self-managing behaviours. The language is very flexible through the use of simple yet expressive syntax and semantics, and facilitates a very diverse policy behaviour space through both hierarchical and recursive uses of language elements. A prototype library implementation of the policy support mechanisms is described. The library reads and writes policies in well-formed XML script. The implementation extends the state of the art in policy-based autonomics through innovations which include support for multiple policy versions of a given policy type, multiple configuration templates, and meta-policies to dynamically select between policy instances and templates. Most significantly, the scheme supports hot-swapping between policy instances. To illustrate the feasibility and generalised applicability of these tools, two dissimilar example deployment scenarios are examined. The first is taken from an exploratory implementation of self-managing parallel processing, and is used to demonstrate the simple and efficient use of the tools. The second example demonstrates more-advanced functionality, in the context of an envisioned multi-policy stock trading scheme which is sensitive to environmental volatility
Resumo:
Language and Power offers a comprehensive survey of the ways in which language intersects and connects with the social, cultural and political aspects of power; provides a comprehensive introduction to the history of the field, and covers all the major approaches, theoretical concepts and methods of analysis in this important and developing area of academic study; covers all the 'traditional' topics, such as race, gender and institutional power, but also incorporates newer material from forensic discourse analysis, the discourse of new capitalism and the study of humour as power; includes readings from works by seminal figures in the field, such as Roger Fowler, Deborah Cameron and Teun van Dijk; uses real texts and examples throughout, including advertisements from cosmetics companies; newspaper articles and headlines; websites and internet media; and spoken dialogues such as a transcription from the Obama and McCain presidential debate; and is accompanied by a supporting website that aims to challenge students at a more advanced level and features a complete four-unit chapter which includes activities, a reading and suggestions for further work.