infonet-economy

This paper is concerned with the problems of posterior simulation and model choice for Poisson panel data models with multiple random effects. Efficient algorithms based on Markov chain Monte Carlo methods for sampling the posterior distribution are developed. A new parameterization of the random effects and fixed effects is proposed and compared with a parameterization in common use...

Reviews the book `Health Benefits at Work. An Economic and Political Analysis of Employment-Based Health Insurance,' by Mark V. Pauly.

In this paper, I discuss the interpretation of qualification related income differentials from income functions that control for age rather than the theoretically more appropriate variable years of labour market experience. I reestimate income functions for New Zealand that were originally reported by Maani (1997) with changed specification, and I update her results by also...

This groundbreaking book discusses the significance of a microeconomic approach to the transformation process in Eastern Europe from a theoretical and empirical perspective. It reveals that microeconomic conditions constitute the framework for the successful restructuring and recovery of the post-socialist countries in Europe.

We present a declarative language for the construction of hypertext views on databases. The language is based on an object-oriented data model and a simple hypertext model with reference and inclusion links. A hypertext view specification consists in a collection of parameterized node schemes which specify how to construct node and link instances from the database contents. We show...

The problem addressed in this paper is the following: how to use high-level Petri nets for the reverse engineering of implemented distributed applications. The paper presents a reverse engineering methodology applied on a real (simple) Java applet based client/server application. First, starting from the Java program, several abstraction steps are described using the CO-OPN/2 formal...

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...