The Uniied Modeling Language is becoming more and more popular in the software development. However because of its ambiguisity in its semantic model, few veriication tool has been built. Abstract State Machines have been successfully applied in giving semantics for programming language like C. In this report, we try to use the Abstract State Machines to give a semantics model for UML and then u...

Traditional Project Management Methodologies (TPMM) aim to prevent change by extensively planning and documenting as much as possible before the system is developed while change is inevitable and that it is not to be avoided. Additionally, Traditional Project Management rely more on processes, sequential software development, like waterfall. Consequently, there is a demand for system developmen...

Iterative life cycle models have become popular in software engineering, for example in agile development. In contrast, the waterfall model appears to prevail in manufacturing engineering disciplines. This includes aircraft engineering and Boeing’s project for developing its most recent passenger aircraft, the 777. The paper walks through the phases of the 777’s development and compares to iter...

The objective of this article is to prepare a time-inhomogeneous intensity model for valuing cash-flow CDOs, which explicitly incorporates the credit rating of the firms in the collateral portfolio as the indicator of the likelihood of default. Our model can prove very useful for the pricing, structuring, rating and risk management of CDO notes, whenever the legal structure of the transaction, ...

Two known solutions to tiling agents (in the face of Löbian obstacles) have significant disadvantages. Marcello’s Waterfall can only be realized in nostandard models, while Parametric Polymorphism is constrained to deploy different amounts of “proof strength” at different “successor depths”. These concerns are explained in detail below. We present a third solution to the problem, created by gra...

Waterfalls as sources of small charged aerosol particles L. Laakso, A. Hirsikko, T. Grönholm, M. Kulmala, A. Luts, and T.-E. Parts Department of Physical Sciences, P.O. Box 64, 00014 University of Helsinki, Finland Institute of Environmental Physics, University of Tarto, Ülikooli 18, 50090, Tarto, Estonia Received: 22 June 2006 – Accepted: 31 August 2006 – Published: 26 September 2006 Correspon...

We have undertaken an inelastic neutron scattering study of the perovskite relaxor ferroelectric Pb(Zn(1/3)Nb(2/3))O3 with 8% PbTiO3 (PZN-8%PT) in order to elucidate the origin of the previously reported unusual kink on the low frequency transverse phonon dispersion curve (known as the "waterfall effect"). We show that its position (q(wf)) depends on the choice of the Brillouin zone and that th...

The coronary circulation of anesthetized dogs was tested for the presence of vascular waterfalls by manipulating coronary arterial and coronary venous pressures. The left main coronary artery and the coronary sinus were cannulated, and relationships between coronary artery pressure, coronary sinus pressure, and coronary flow were studied. Experiments were conducted during diastolic arrests, und...