Publications des institutions partenaires

S'abonner aux flux infonet economy   1501 - 1520 of 1773

Variance optimal cap pricing models

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

Autorégulation, intervention étatique, mise en réseau. Les transformations de l’Etat social en Europe : les cas du VIH/sida, de l’abus d’alcool et des drogues illégales

Self-regulation, government intervention, networking: transformations of the social state in europe (the cases of hiv/aids, alcohol and drug abuse) A reflection about the development of the social state and its recent changes proceeds from the analysis of the policies carried out in the areas of alcohol and illegal drug abuse and HIV/AIDS. A historical reconstruction provides a view...

Institution partenaire

Université de Genève

Full Text

Français / 01/01/1999

La France et l'intégration européenne. Une évaluation du paradigme "identitariste"

Cet article critique un paradigme "identitariste" qui est souvent trop ontologique. Il y a certes parfois des contradictions entre "identité française" et intégration européenne. Mais il faut éviter de réifier cette notion d'"identité française"."

Institution partenaire

Université de Genève

Full Text

Français / 01/01/1999

Security Dimension in the EU Enlargement

The chapter attempts to present the case for EU enlargement for reasons of security, using an adapted use of the Karl Deutsch concept of "community of security", as well as a dose of realism. The author also argues that EU enlargement has something to do with the perception of a Russian threat as well as to balancing a possible German hegemony.

Institution partenaire

Université de Genève

Full Text

Français / 01/01/1999

Le contrat inexécuté en droit suisse

Institution partenaire

Université de Genève

Full Text

Français / 01/01/1999

Active hypertext views on databases

Designing and building a Web site aimed to interact with a database can be a demanding task. A way to accelerate this task is to use a declarative language for specifying hypertext views on databases. In this paper, we discuss hypertext concepts for viewing and acting on a database. While viewing a database through a hypertext view enables a user to navigate among interconnected...

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

Formal development and validation of Java dependable distributed systems

The rapid expansion of Java programs into the software market is often not supported by a proper development methodology. 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

Université de Genève

Full Text

English / 01/01/1999

A Formal Developement and Validation Methodology for System Design

This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two languages framework: it advocates the joint use of a model-oriented specification and a logical language. Second, the paper describes development guidelines for system design within...

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

Pages

Le portail de l'information économique suisse

© 2016 Infonet Economy