This paper gives a survey of recent results on generalized Jackson networks , where classical exponential or i.i.d. assumptions on services and routings are replaced by stationary and ergodic assumptions. We rst show that the most basic features of the network may exhibit unexpected behavior. Several probabilistic properties are then discussed, including a strong law of large numbers for the nu...

Investigating operation of the Internet in orbit: Five years of collaboration around CLEO L. Wood, W. Ivancic, W. Eddy, D. Stewart, J. Northam, C. Jackson Cisco Systems Global Government Solutions Group, Bedfont Lakes, London, UK. Surrey Satellite Technology Ltd, University of Surrey, Guildford, UK. NASA Glenn Research Center, Cleveland, Ohio. Verizon Federal Network Systems, Cleveland, Ohio. C...

Arbitrary closed exponential queueing networks are examined such as with finite capacities and blocking or dynamic routing. Conditions are provided from which a simple upper bound on the system throughput and an error bound for its accuracy can be concluded. These conditions are illustrated for a Jackson network with finite entrance buffer and overflow station. An explicit error bound for this ...

Department of Pharmacology and Toxicology, School of Medicine, The University of Mississippi Medical Center, 2500 North State Street, Jackson, MS 39216-4505, USA; The Jackson Center for Heart Research, The University of Mississippi Medical Center, Jackson, MS, USA; The Cardiovascular-Renal Research Center, The University of Mississippi Medical Center, Jackson, MS, USA; and Department of Chemist...

For a sequence of nite Markov chains L(N) we introduce the notion of \conver-gence time to equilibrium" T(N). For sequences that are obtained by truncating some countable Markov chain L we nd the convergence time to equilibrium in terms of Lyapunov function of Markov chain L. We apply this result to queue-ing systems with a limited number of customers: a priority system with several customer ty...

The software design industry has still to reach maturity. Whilst later phases of the development cycle have established measuring techniques to assess a projects progress against, the application of early design metrics has yet to be fully embraced. The software industry has a potentially unique opportunity in that it is now becoming possible to technically assess the quality of the design prio...

The Jackson Development Methods are JSP (Jackson Structured Programming) and JSD (Jackson System Development). JSP is a method for designing programs as compositions of sequential processes; JSD is a method for specifying and designing systems whose application domain has a strong temporal flavour and contains objects whose behaviour is describable in terms of sequences of events. Many program ...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

This is in a sense true, and the writing of this article would have been easier had I had the privilege of knowing the great man. There are, however, three types of great men, in medicine. The first achieves his greatness during his life by his clinical work and by his kindness and skill in curing and alleviating the sufferings of large numbers of patients. The second, in addition to his clinic...

Although in the realm of artificial language it is possible to construct languages that do not comprise expressions that are at once both ambiguous and semantically legal, some artificial languages, and all natural languages, present ambiguous constructs that are nonetheless semantically legal expressions accepted by the language. We introduce the §-calculus (meta-S), a declarative adaptive par...