Publications des institutions partenaires
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
Irrational entry, rational exit
This paper sets up a model for analysing the problem of rational exit where the stopping time itself is part of the integration problem. The model development is for the case of smoking. Smoking produces pleasure, pain and addiction. Our model captures all these elements and using Brownian notion and continuous martingales establishes that “quit smoking” campaigns require a two...
Institution partenaire
English / 01/01/1998
Approximate distributions for the various serial correlograms
Institution partenaire
English / 01/01/1998
Unconditional and conditional distributional models for the Nikkei index
Institution partenaire
English / 01/01/1998
A tail estimator for the index of the stable paretian distribution
Institution partenaire
English / 01/01/1998
Anisotropic function spaces, fractals, and spectra of some elliptic and semi-elliptic differential operators
Institution partenaire
English / 01/01/1998
Stable Paretian Modeling in Finance: Some Empirical and Theoretical Aspects
Institution partenaire
English / 01/01/1998
Unvollständige Verträge und die Grenzen der Firma
Institution partenaire
Deutsch / 01/01/1998
Evaluation von Hochschulleistungen: Wie können die Leistungen einer Universität erfasst werden? Teil 2
I m zweiten Teil der Antrittvorlesung von PD Dr. Andrea Schenker- Wicki an der Hochschule St. Gallen versucht die Autorin aufzuzeigen, wie die Leistungen einer Hochschule sichtbar und einem breiten Publikum verständlich gemacht werden und welche Methoden dabei zum Einsatz kommen konnen.
Institution partenaire
Deutsch / 01/01/1998
Evaluation von Hochschulleistungen: Fiktion oder notwendige Realität? Teil 1
Die Antrittsvorlesung von PD Dr. Andrea Schenker-Wicki an der Hochschule St. Gallen ist auch für die Studierenden von aktueller Brisanz. Werden sie doch laufend gemessen, während die Leistung des Bildungsinstituts als ganzes oder gar einzelner Professoren im Bereich oft haltloser Einschätzung verbleibt. Neben studentischen Anliegen gibt es aber natürlich vorallem eine Reihe von...
Institution partenaire
Deutsch / 01/01/1998
Pretiale Lenkung als Instrument der Wettbewerbsstrategie
One of the major functions of transfer pricing is the optimal coordination of internal trade between responsibility centers in decentralized firms. According to standard theory the efficient level of internal trade is achieved by marginal cost pricing. If one of the firm's profit centers faces duopolistic competition on the final product market, the firm's headquarters can...
Institution partenaire
Deutsch / 01/01/1998
Pretiale Lenkung als Instrument der Wettbewerbsstrategie
One of the major functions of transfer pricing is the optimal coordination of internal trade between responsibility centers in decentralized firms. According to standard theory the efficient level of internal trade is achieved by marginal cost pricing. If one of the firm's profit centers faces duopolistic competition on the final product market, the firm's headquarters can...
Institution partenaire
Deutsch / 01/01/1998
Absprachen beim Groves-Mechanismus: Eine spieltheoretische Untersuchung
Economic literature has proposed several incentive mechanisms in order to induce agents in divisionalized organizations to reveal their private information. Among these mechanisms the class of Groves mechanisms has the distinguishing property of implementing truthful reporting as an equilibrium in dominant strategies. However, critiques maintain that agents may collude and transmit...
Institution partenaire
Deutsch / 01/01/1998
Absprachen beim Groves-Mechanismus: Eine spieltheoretische Untersuchung
Economic literature has proposed several incentive mechanisms in order to induce agents in divisionalized organizations to reveal their private information. Among these mechanisms the class of Groves mechanisms has the distinguishing property of implementing truthful reporting as an equilibrium in dominant strategies. However, critiques maintain that agents may collude and transmit...
Institution partenaire
Deutsch / 01/01/1998
Strategic transfer pricing, absorption costing and vertical integration
This paper analyzes the use of transfer pricing as a strategic device in divisionalized firms facing duopolistic price competition. When transfer prices are observable, both firms' headquarters will exclude their marketing division from the external input market and charge a transfer price above the market price of the intermediate product to induce their marketing managers to...
Institution partenaire
English / 01/01/1998
Strategic transfer pricing, absorption costing and vertical integration
This paper analyzes the use of transfer pricing as a strategic device in divisionalized firms facing duopolistic price competition. When transfer prices are observable, both firms' headquarters will exclude their marketing division from the external input market and charge a transfer price above the market price of the intermediate product to induce their marketing managers to...
Institution partenaire
English / 01/01/1998
The re-construction of organization studies: Wrestling with incommensurability
This paper proposes a `re-construction' of organization studies in order to deal with the chronic incommensurability that characterizes the discipline. The paper begins by discussing the issue of incommensurability between organization studies schools of thought, arguing that it represents a significant problem with which the field must cope. Ambiguity of the key constructs that...
Institution partenaire
English / 01/01/1998
Commentary: Mitroff's ethical management: The colonization of truth
Institution partenaire
English / 01/01/1998
Pagine
Le portail de l'information économique suisse
© 2016 Infonet Economy