250 research outputs found
Blue future: Maude Barlow, water rights, investor clauses, and trade deals
No full textMaude Barlow is the chairperson of the Council of Canadians, and the founder of the Blue Planet Project. She is a recipient of Sweden’s Right Livelihood Award, and a Lannan Cultural Freedom Fellowship. As well as being a noted human rights and trade activist, Barlow is the author of a number of books on water rights — including Blue Gold, Blue Covenant, and Blue Future. She has been particularly vocal on the impact of trade and investment agreements upon water rights. Barlow has been critical of the push to include investor-state dispute settlement clauses in trade agreements — such as the Comprehensive Economic and Trade Agreement (CETA) between Canada and the European Union, the Trans-Pacific Partnership (TPP), and the Trans-Atlantic Trade and Investment Partnership Agreement (TTIP). She has also been concerned by the Trade in Services Agreement (TISA) leaked by WikiLeaks
A Formal Model of Metacontrol in Maude
No full textNowadays smart applications appear in domains spanning from commodity household applications to advanced underwater robotics. These smart applications require adaptation to dynamic environments, changing requirements and internal system errors Metacontrol takes a systems of systems view on autonomous control systems and self-adaptation, by means of an additional layer of control that manipulates and combines the regular controllers. This paper develops a formal model of a Metacontrol architecture. We formalise this Metacontrol architecture in the context of an autonomous house heating application, enabling different controllers to be dynamically combined in order to meet user requirements to a better extent than the individual controllers in isolation. The formal model is developed in the Maude rewriting system, where we show results comparing different scenarios.Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Robot Dynamic
Miss Maude Neville
No full textMiss Maude Neville, society editor of the Paris News, sitting at a desk. She is wearing a dress. On the desk is a typewriter, telephone, box of tissues and various documents. She is the daughter of Mr. Alexander White Neville, editor-in-chief of the Paris News. She is one of the three Neville children who have followed in their father\u27s professional footsteps. One is employed at Houston and another is author of a syndicated newspaper feature. Published Fort Worth Star-Telegram Morning Edition March 3, 1940.https://mavmatrix.uta.edu/specialcollections_startelegram1940s/1690/thumbnail.jp
A plea for domestic science in the grade school
No full textCitation: Kelly, Maude. A plea for domestic science in the grade school. Senior thesis, Kansas State Agricultural College, 1908.Introduction: The novel entitled “The Breadwinners” published about 25 years ago is a social study dealing with the problems of labor. Among other points the author presents the idea that education of the laboring classes would not improve the labor situation. Subsequent development, however, shows that in this his estimate has not been justified
Simple Network Protocol Simulation within Maude
No full textAbstractThe authors would like to thank the Maude group and especially José Meseguer for many fruitful discussions and Brad Smith for helping us understand the PIM-DM protocol and kindly providing his pseudo-code. We also thank the anonymous referees for their helpful suggestions for improvement. The first author was partially supported by ARC grant 8202 881 499, while the second author was partially supported by DARPA/NASA NAS2-98073. ARPA/SRI subcontract 17-000042, NSF CCR-9900326, and ONR N00012-99-C-0198
Extending the language and applications of Maude-NPA through rewriting semantics
No full textFormal methods have been used in analyzing cryptographic protocols since the 1980’s. Formal analysis of cryptographic protocols involves properties that are generally undecidable; however it can often be automated. Maude-NPA is a special-purpose tool for verifying cryptographic protocols. Based on rewriting logic, Maude-NPA performs backward symbolic model checking on the unbounded session model, considering user defined signature and a wide range of equational theories. In this way, various properties, including secrecy, authentication and indistinguishability can be verified.
This thesis investigates and advances cryptographic protocol modeling and analysis, with a focus on extending the specification and analysis capabilities of the Maude-NPA tool. In particular, (i) it presents a hierarchy of FVP theories for approximating the algebraic property of homomorphic encryption over an Abelian group, which enables analysis of protocols having homomorphic encryption over abelian group in Maude-NPA; (ii) it extends the strand space model with support for choice, and develops a protocol process algebra with choice constructors; as a result, a new specification language is provided for Maude-NPA, and protocols with choices can be model and analyzed naturally in Maude-NPA; (iii) it develops a methodology for modular analysis of protocol composition for private channels: the security properties of the composed protocols are decomposed into corresponding properties of each component protocols. In each of these areas (i)-(iii), experiments are performed in Maude-NPA to illustrate and validate these approaches.Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2021-05-01The student, Fan Yang, accepted the attached license on 2019-04-15 at 14:54.The student, Fan Yang, submitted this Dissertation for approval on 2019-04-15 at 15:25.This Dissertation was approved for publication on 2019-04-16 at 13:59.DSpace SAF Submission Ingestion Package generated from Vireo submission #13634 on 2019-08-22 at 16:21:28Made available in DSpace on 2019-08-23T20:47:24Z (GMT). No. of bitstreams: 2
YANG-DISSERTATION-2019.pdf: 930427 bytes, checksum: 1a8932d53a0d9238c7a254ff3ac022b2 (MD5)
LICENSE.txt: 4205 bytes, checksum: 0aacd142e7fa251f8921c302fc08daf4 (MD5)
Previous issue date: 2019-04-16Embargo set by: Seth Robbins for item 112319
Lift date: 2021-08-23T20:47:38Z
Reason: Author requested closed access (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 112319
Lift date: 2021-08-23T20:48:32Z
Reason: Author requested closed access (OA after 2yrs) in Vireo ETD systemLimited Restriction Lifted for Item 112319 on 2021-08-24T09:15:10Z
Ten virtues of structured graphs
No full textThis paper extends the invited talk by the first author about the virtues
of structured graphs. The motivation behind the talk and this paper relies on our
experience on the development of ADR, a formal approach for the design of styleconformant,
reconfigurable software systems. ADR is based on hierarchical graphs
with interfaces and it has been conceived in the attempt of reconciling software architectures
and process calculi by means of graphical methods. We have tried to
write an ADR agnostic paper where we raise some drawbacks of flat, unstructured
graphs for the design and analysis of software systems and we argue that hierarchical,
structured graphs can alleviate such drawbacks
Foucault’s governmentality and the issue of project collaboration
No full textThe concept of governmentality has proven useful to analyse how the reflexive management of people within and without the project is conducted. In this chapter we explore the organizational theory of governmentality and its importance in project settings. First, we identify the specificity of project governance and relate it to the definition and discussion of governmentality by Michel Foucault. Following this, the use of governmentality within projects through project culture is discussed. Subsequently, the use of governmentality outside projects through social media is discussed. Finally, the chapter concludes by highlighting new directions for research with governmentality as the focal point, discussing the types of research questions that a concern with projects and governmentality raises and how addressing these might further develop project management as a field of enquiry.Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Integral Design & Managemen
Le phénomène tasien : un état de la question
No full textThis paper is a synthesis of differents points of view about the existence of the Tasian culture from its discovery in the 20th century to the recent excavations from the Nile Valley to the Sudan and in the deserts based on the data available. The author deals with the diversity of the archeologicial information and the different hypotheses proposed by various scholars.Cet article se propose de faire un historique de la question et une présentation des données actuellement disponibles sur le Tasien, la première culture prédynastique de la vallée du Nil, dont l’existence même fut longtemps discutée. Les informations relatives aux sites choisis dans le cadre de cette étude sont très inégales, l’auteur étant tributaire des données plus ou moins précises, mais aussi des pistes de réflexion des inventeurs ou archéologues des sites de la vallée du Nil dans son sens large (jusqu’au Soudan actuel) et des déserts.Ehrenfeld Maude. Le phénomène tasien : un état de la question. In: Archéo-Nil. Revue de la société pour l'étude des cultures prépharaoniques de la vallée du Nil, n°24, 2014. Prédynastique et premières dynasties égyptiennes. Nouvelles perspectives de recherches. pp. 47-58
La protección del agua: diez principios
No full text¿Is it possible to establish a decalogue about water in the era of globalization and liberalization of all markets and natural resources? The author beleives it is possible and suggests 10 basic principles to maintain the equilibrium of water among human necesitties and nature. Water cannot be simply concieved as an exploitable resource, but as a planet’s patrimony as well as for the next generations. The 10 principles of Barlow, more than a code, represent an invitation to think about sustainability starting out from local perspective.¿Es posible un decálogo del agua en la era de la globalización y la liberalización de todos los mercados y recursos naturales? Maude Barlow así lo cree y nos propone 10 principios básicos para mantener un equilibrio del agua entre las necesidades humanas y el mundo natural. El agua no puede concebirse simplemente como un recurso explotable, sino como un patrimonio del planeta y para las próximas generaciones. Los 10 principios de Barlow, más que un código, representan una invitación a pensar la sustentabilidad a partir de lo local
- …
