Similar Search Results

Multi-agent systems: Modeling andVerification using Hybrid Automata

Mohammed, Ammar; Furbach, Ulrich - Universität <Koblenz - 2009

agent capturing allpossible behaviors of the multi-agent system prior to the verification phase. Thesecond problem concerns … the expressiveness of verification tools when modelingand verifying certain behaviors. Therefore, this paper tackles these … dynamically during the verification phase. This can relieve thestate space complexity that may occur as a result of the …

Persistent link: https://www.econbiz.de/10009354134

Verification of Web Service Compositions: AnOperationalization of Correctness and a RequirementsFramework for Service-oriented Modeling Techniques

Röglinger, Maximilian - Universität <Augsburg> / Department of Information … - 2009

service-oriented modeling techniques so that correctness can beshown by verification and Web service compositions can be …

Persistent link: https://www.econbiz.de/10005868077

COST PADDING IN REGULATED MONOPOLIES

Bougheas, Spiros; Worrall, Tim - University <Nottingham> / Department of Economics; … - 2001

In this paper we consider a regulated monopoly that can pad its costs to increaseits cost reimbursement. Even while padding is ineácient the optimal incentivescheme tolerates some padding of costs to reduce the information rents paid tolow cost types. It is shown that high cost ßrms pad costs...

Persistent link: https://www.econbiz.de/10005868956

Consistent Choice and Falsifiability of the MaximizationHypothesis

Dasgupta, Indraneel; Kumar, Subodh; Pattanaik, Prasanta K. - University <Nottingham> / Department of Economics

We examine the status of the maximization hypothesis in the positive economic theory ofrational choice. We argue that, contrary to a common belief, the maximization hypothesisdoes not play any role in large areas of positive rational choice theory. In contexts where itdoes, it is not logically...

Persistent link: https://www.econbiz.de/10005869303

Derivative asset analysis in models with level-dependent and stochastic volatility

Frey, Rüdiger - 1997

In this survey we discuss models with level-dependent and stochastic volatility from the viewpoint of derivative asset analysis. Both classes of models are generalisations of the classical Black-Scholes model; they have been developed in an effort to build models that are flexible enough to cope...

Persistent link: https://www.econbiz.de/10005841337

Binomial Models for option valuation - examining and improving convergence

Leisen, Dietmar; Reimer, Matthias - 1995

Binomial models, which rebuild the continuous setup in the limit, serve for approximative valuation of options, especially where formulas cannot be derived mathematically. Even with the valuation of European call options distorting irregularities occur. For this case, sources of convergence...

Persistent link: https://www.econbiz.de/10005841372

Closed form term structure derivatives in a Heath-Jarrow-Morton Model with log-normal annually compounded interest rates

Sandmann, Klaus; Sondermann, Dieter; Miltersen, Kristian - Sonderforschungsbereich Information und die … - 1994

Starting with observable annually compounded forward rates we derive a term structure model of interest rates. The model relies upon the assumption that a specific set of annually compounded forward rates is log-normally distributed. We derive solutions for interest rate caps and floors as well...

Persistent link: https://www.econbiz.de/10005841389

Prozeßorientierung - Grundgedanken, Kernelemente, Kritik

Maurer, Gerd - 1996

Die Begriffe Prozeßorientierung, Prozeßmanagement, Workflow Management und Workflow-Management-Systeme sind noch immer nicht klar definiert und voneinander abgegrenzt. Ausgehend von einem speziellen Verständnis der Prozeßorientierung (Arbeitspapier WI Nr. 9/1996) wird Prozeßmanagement als...

Persistent link: https://www.econbiz.de/10005841529

Stability of Sigma-Martingale Densities in L log L Under an Equivalent Change of Measure

Choulli, Tahir; Schweizer, Martin - National Centre of Competence in Research - Financial … - 2011

An equivalent !-martingale measure (E!MM) for a given stochastic process Sis a probability measure R equivalent to the original measure P such that S isan R-!-martingale. Existence of an E!MM is equivalent to a classical absenceof-arbitrage property of S, and is invariant if we replace the...

Persistent link: https://www.econbiz.de/10009486965

Remarks on the Measurement, Valuation, and Reporting of Intangible Assets

Baruch, Lev - Leonard N. Stern School of Business <New York, NY> / … - 2003

financial information insist upon improvements tocorporate reporting. …

Persistent link: https://www.econbiz.de/10005869772