Publications des institutions partenaires
Les mouvements sociaux: structures, processus et conséquences
Institution partenaire
Français / 01/01/1999
Path dependent options on yields in the affine term structure model
Institution partenaire
English / 01/01/1998
Les acteurs non étatiques et la politique européenne de la Suisse
Les résultats principaux de cette enquête ont été obtenus, grâce à une enquête auprès de représentants de la société civile du pays et montre qu'ils sont favorables à l'adhésion à l'UE et à une intensification des échanges avec les pays d'Europe centrale et orientale. Par ailleurs, ils fustigent la timidité du gouvernement, mais cette critique est tempérée par le...
Institution partenaire
Français / 01/01/1998
Les relations entre l'Union européenne et les États-Unis : analyse critique de l'approche « dissociative »
Cet article critique une approche qualifiée de « dissociative » dans l'analyse des relations entre les États-Unis et l'Union européenne. Il remet en cause aussi bien les présupposés théoriques que les observations empiriques des chercheurs qui ont prédit une dislocation des liens transatlantiques du fait de la fin de la guerre froide. Cette étude analyse principalement les...
Institution partenaire
Français / 01/01/1998
From atomism to consolidation in group's insolvency
Institution partenaire
English / 01/01/1998
Conflicting contracts in sport : resolution through central filing and ad hoc arbitration
Institution partenaire
English / 01/01/1998
A survey of theories for mobile agents
This paper presents a comparative survey of formalisms related to mobile agents. It describes the π-calculus and its extensions, the Ambient calculus, Petri nets, Actors, and the family of generative communication languages. Each of these formalisms defines a mathematical framework that can be used to reason about mobile code; they vary greatly in their expressiveness, in the...
Institution partenaire
English / 01/01/1998
Languages and Tools to Specify Hypertext Views on Databases
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...
Institution partenaire
English / 01/01/1998
Formal development of Java based Web parallel applications
The Java object oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial products is that software engineers do not have any methodology and have to develop complex parallel applications. We present a formal...
Institution partenaire
English / 01/01/1998
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study
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...
Institution partenaire
English / 01/01/1998
COALA - A Formal Language for Coordinated Atomic Actions
A Coordianted Atomic Action (CA Action) is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in distributed object-oriented systems. They constitute a very interesting concept for the structured developement of fault-tolerant distributed applications. To formalize the design of CA actions, this paper...
Institution partenaire
English / 01/01/1998
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
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...
Institution partenaire
English / 01/01/1998
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
The objective of this paper are twofold. On the one hand, it sims to show the advantages of Co-ordinated Atomic actions (CA actions) as a design concept for dependable distributed system development, and on the other hand, it explains how the formal language CO-OPN/2 can be used to express the semantics of CA action design. A fault-tolerant distributed application is developed...
Institution partenaire
English / 01/01/1998
Distributed Musical Rehearsal: Evaluation Report
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...
Institution partenaire
English / 01/01/1998
Welfare-State Retrenchment Revisited: Entitlement Cuts, Public Sector Restructuring, and Inegalitarian Trends in Advanced Capitalist Societies
Institution partenaire
English / 01/01/1998
Corporatism versus social democracy: Divergent fortunes of the Austrian and Swedish labour movements
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...
Institution partenaire
English / 01/01/1998
Structure and Culture in Social Movement Theory
Institution partenaire
English / 01/01/1998
Was It Worth the Effort? The Outcomes and Consequences of Social Movements
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...
Institution partenaire
English / 01/01/1998
The Other Side of the Coin: Explaining Crossnational Similarities Between Social Movements
This exploratory essay provides a general framework for the study of crossnational similarities among social movements by looking at three broad social processes: globalization, structural affinity, and diffusion. Each of these concepts is at the core of three apparently rival explanations of movement similarities. The globalization model explains similarities among social movements...
Institution partenaire
English / 01/01/1998
Pages
Le portail de l'information économique suisse
© 2016 Infonet Economy