Local ownership and UN peacebuilding: discourse versus operationalization

The UN asserts that local ownership boosts the legitimacy and sustainabil- ity of peacebuilding by preserving the principles of self-determination and nonimposition in an activity that can contravene them. At the same time, it also perceives local ownership to imperil the achievement of its operational goals, thus bringing its normative and operational obligations into conflict. This article evaluates the UN’s discourse and operationalization of local ownership, showing that despite the UN’s invocation of ownership dis- course, it operationalizes ownership in restrictive ways that are intended to protect the achievement of operational goals but that consequently limit self-determination and increase imposition. Moreover, because of contra- dictions in the UN’s practices of ownership, it also undercuts its ability to re- alize the very operational goals that it is trying to protect. KEYWORDS: UN peacebuilding, local ownership, discourse vs. practice.

TOWARD SEMANTIC WEB SERVICES AS MVC APPLICATIONS: FROM OWL-S VIA UML

OWL-S is an application of OWL, the Web Ontology Language, that describes the semantics of Web Services so that their discovery, selection, invocation and composition can be automated. The research literature reports the use of UML diagrams for the automatic generation of Semantic Web Service descriptions in OWL-S. This paper demonstrates a higher level of automation by generating complete complete Web applications from OWL-S descriptions that have themselves been generated from UML. Previously, we proposed an approach for processing OWL-S descriptions in order to produce MVC-based skeletons for Web applications. The OWL-S ontology undergoes a series of transformations in order to generate a Model-View-Controller application implemented by a combination of Java Beans, JSP, and Servlets code, respectively. In this paper, we show in detail the documents produced at each processing step. We highlight the connections between OWL-S specifications and executable code in the various Java dialects and show the Web interfaces that result from this process.

Interaction among agents that plan

The development of practical agent languages has progressed significantly over recent years, but this has largely been independent of distinct developments in aspects of multiagent cooperation and planning. For example, while the popular AgentSpeak(L) has had various extensions and improvements proposed, it still essentially a single-agent language. In response, in this paper, we describe a simple, yet effective, technique for multiagent planning that enables an agent to take advantage of cooperating agents in a society. In particular, we build on a technique that enables new plans to be added to a plan library through the invocation of an external planning component, and extend it to include the construction of plans involving the chaining of subplans of others. Our mechanism makes use of plan patterns that insulate the planning process from the resulting distributed aspects of plan execution through local proxy plans that encode information about the preconditions and effects of the external plans provided by agents willing to cooperate. In this way, we allow an agent to discover new ways of achieving its goals through local planning and the delegation of tasks for execution by others, allowing it to overcome individual limitations.

Service guarantees and customer satisfaction: an empirical study of guarantee type and service experience

Scenario analysis was used to examine empirically the relationships between guarantee type and service experience, and consumer satisfaction, for the service of an Internet Service Provider (ISP). The scenarios involved hypothetical situations in which several factors were varied: the existence of a problem; the invocation of a guarantee, the identity of the invoker; and the manner of resolution of any problem. Alternative service guarantees were associated with each hypothetical experience: a specific guarantee, and an unconditional guarantee. Overall, consumer satisfaction related to the nature of the service experience much more strongly than it did to the difference in guarantee type.

Service guarantee redress options in a hotel environment

Unconditional service guarantees are a popular marketing tool in the hotel industry worldwide. They promise total satisfaction and guests are free to invoke the guarantee whenever they are dissatisfied. While many hotels offer “money-back” compensation following guarantee invocation, others vary the payout depending on the severity of the service failure and still others will only compensate the customer if the problem leading to invocation of the guarantee cannot be fixed. To the researcher’s knowledge, the influence of compensation and fix (i.e., taking action to resolve the problem) on consumers’ perceptions of distributive justice has not been examined previously in a service guarantee context. This paper begins to address this gap by presenting a conceptual model and related propositions, arguing that redress (compensation and fix) is an important predictor of consumers’ perceptions of distributive justice, and that this relationship is moderated by service failure severity.

Service recovery in a service guarantee context

This study employed a 2 x 2 full-factorial, between-subjects design experiment examining the influence of service failure severity and fix on hotel guests’ satisfaction following invocation of a service guarantee. The study involved a sample of 130 online panel members. As expected, guests are less dissatisfied following a minor (versus a major) service failure while satisfaction is enhanced when the problem is corrected. Surprisingly, fix has a stronger influence on satisfaction when a severe failure occurs, and satisfaction evaluations are approximately equal regardless of the severity of the failure when the problem is fixed.

The influence of failure severity and perceived employee effort on consumers' postcomplaint negative WOM intentions in a service guarantee context

This study employed a 2 x 2 full-factorial, between-subjects design experiment examining the influence of failure severity and perceived employee effort on hotel guests’ negative word-ofmouth (WOM) intentions following invocation of a service guarantee. The study involved a sample of 131 online panel members. Results suggest that negative WOM intentions reduced when a greater level of effort is exerted by staff in rectifying the guest’s problem and increased when a more severe failure is experienced. There is a stronger difference in guests’ negative WOM intentions between the high and low employee effort conditions when a minor versus a severe service failure is experienced by guests.

The influence of guarantee compensation and fix on service recovery

This study employed a 3 x 2 full-factorial, between-subjects design experiment examining the influence of service guarantee compensation and fix on hotel guests’ satisfaction following invocation of a service guarantee. The study involved a sample of 390 online panel members. As expected, satisfaction is enhanced when the problem is corrected, however overcompensating guests beyond what was initially promised does not enhance satisfaction evaluations. Increasing compensation from the low to the medium (promised) level results in stronger satisfaction ratings when the problem is fixed versus when it is not.

‘Else-where’ : essays in art, architecture, and cultural production 2002-2011

“Else-where”: Essays in Art, Architecture, and Cultural Production 2002–2011 is a synoptic survey of the representational values given to art, architecture, and cultural production at the closing of the twentieth century and the opening of the twenty-first. Written primarily as a critique of what is suppressed in architecture and what is disclosed in art, the essays are informed by the passage out of post-structuralism and its disciplinary analogues toward the Real (denoted over the course of the studies as the “Real-Irreal,” or “Else-where”). The essays collected in “Else-where” cross various disciplines (inclusive of landscape architecture, architecture, and visual art) to develop a nuanced critique of a renascent formal regard and elective exit from nihilism in art and architecture that is also an invocation of the highest coordinates given to the arts – that is, formal ontology as speculative intelligence itself, or the return of the universal as utopian thought “here-and-now.”

Is narrative identity four-dimensionalist?

The claim that selves are narratively constituted has attained considerable currency in both analytic and continental philosophy. However, a set of increasingly standard objections to narrative identity are also emerging. In this paper, I focus on metaphysically realist versions of narrative identity theory, showing how they both build on and differ from their neo-Lockean counterparts. But I also argue that narrative realism is implicitly committed to a four-dimensionalist, temporal-parts ontology of persons. That exposes narrative realism to the charge that the narratively constituted self, on the one hand, and the self that is the object of much of our everyday self-reference and self-experience, on the other, can’t be the same thing. This conclusion may well force narrativists to abandon metaphysical realism about narrative selves — which, in turn, may leave the invocation of ‘narrativity’ as identity-constituting somewhat under-motivated.

Making intellectual room for persona studies: a new consciousness and a shifted perspective

It is an enormously difficult—and perhaps impossible, but ultimately important—task to comprehensively define the contemporary moment through a particular concept. This introduction and this journal make the claim that both in a pervasive way and to a pandemic extent, there is enormous activity and energy in the production, construction, and exhibition of personas. Something quite extraordinary has shifted over the last twenty years that has led to this intensive focus on constructing strategic masks of identity. The catalyst is the development of online culture and its invocation to personalize the expression of a public self—essentially a persona—regularly and incessantly. This culture of producing and monitoring our public selves is the focus of this journal as online culture blends with everyday culture and leads to an insistent proliferation of personas for both presentation and for strategic purposes in order to manage very new notions of value and reputation. The task of investigating persona is complex, and is dependent on connections and intersections across an array of disciplines. This journal and the field of Persona Studies is designed to serve as a site for this essential work of comprehending, analysing, and critiquing persona, and to allow disciplines to intersect, exchange ideas, and debate the play of persona historically and in contemporary culture.

Implementação de objetos replicados usando java

Este trabalho busca a implementação da replicação de objetos através da linguagem Java e de seu sistema de invocação remota de métodos (Remote Method Invocation - RMI). A partir deste sistema, define-se uma classe de replicação - a máquina de replicação – onde a implementação de grupos de objetos é estruturada de acordo com a arquitetura cliente/servidor, sendo o cliente o representante (a interface) de um grupo de objetos e os servidores representam os demais componentes do grupo. A classe de replicação atende a uma necessidade importante dos sistemas distribuídos - o desenvolvimento de aplicações tolerantes a falhas. Fundamentalmente, a tolerância a falhas é obtida por redundância e, no caso de mecanismos de tolerância a falhas por software, esta redundância significa basicamente replicação de dados, processos ou objetos. A tolerância a falhas para tal tipo de sistema é importante para garantir a transparência do mesmo, visto que, assim como um sistema distribuído pode auxiliar muito o usuário pelas facilidades oferecidas, o não cumprimento de suas atividades de acordo com o esperado pode, em algumas situações, causar-lhe transtornos e erros irrecuperáveis nas aplicações. Finalmente, como principal contribuição, este trabalho descreve e implementa a solução completa para a construção de uma biblioteca de classes que oferece a replicação de forma totalmente transparente para o usuário.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services

Stroke in ancient times - a reinterpretation of Psalms 137 : 5,6

Stroke was probably first described in Psalms 136: 5-6 of the Catholic Bible, and Psalms 137:5-6 of the Evangelical Bible. Based on the Portuguese, Spanish, English, German, Dutch, Russian, Greek, and original Hebrew Bible, the significance of this Psalm is the invocation of a punishment, of which the final result would be a stroke of the left middle cerebral artery, causing motor aphasia and right hemiparesis.