infonet-economy

We present a declarative language for the construction of hypertext views on databases. The language is based on an object-oriented data model and a simple hypertext model with reference and inclusion links. A hypertext view specification consists in a collection of parameterized node schemes which specify how to construct node and link instances from the database contents. We show...

The problem addressed in this paper is the following: how to use high-level Petri nets for the reverse engineering of implemented distributed applications. The paper presents a reverse engineering methodology applied on a real (simple) Java applet based client/server application. First, starting from the Java program, several abstraction steps are described using the CO-OPN/2 formal...

The rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable distributed applications. It is based on the stepwise refinement of model-oriented formal specifications, and enables validation of the obtained system wrt the client's requirements...

One of the most important part of the Distributed Musical Rehearsal project was the evaluation of the overall system performance. This task required the development of precise methodology, based on both subjective and objective performance measurements. The results of the evaluation are presented in the report in their raw form and from these we draw our conclusion concerning the...

In Austria, the social democrats suffered major electoral losses in the 1980s and the first half of the 1990s, and these losses translated primarily into gains for right-wing populism. In Sweden, by contrast, the social democrats have pretty much held their own in recent elections (except for 1991) and protest voting has assumed leftist as well as rightist forms. Commonly regarded as...

Research on social movements has usually addressed issues of movement emergence and mobilization, yet has paid less attention to their outcomes and consequences. Although there exists a considerable amount of work on this aspect, little systematic research has been done so far. Most existing work focuses on political and policy outcomes of movements, whereas few studies address their...

In this paper, we discuss the relation between social movements, public opinion, and political alliances with respect to the impact of movements on public policy. We first discuss the existing literature and sketch three broad models of the role of public opinion and political alliances (or the absence of such role) in facilitating the task of social movements in producing policy...

In this paper we focus on the handling by the police of mass demonstrations in Switzerland during the past three decades. Our aim is to single out the determinants of police intervention during these protest events. We look at three sets of potential causes: (1) the configuration of power (i.e. political alliances and coalitions), (2) face-to-face interactions between protesters and...