infonet-economy

The rapid expansion of Java programs into the software market is often not supported by a proper development methodology. 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...

Electronic documents may obviously no more be considered as a simple representation of their paper counterpart. They become dynamic components whose content may be modified accordingly to users interaction but also in reaction to modifications in the user's environment (such as an update operation in a database). They not only include data but also behavior (Scripts, Applets,...

The ABO project aims in the design and development an agent platform where mobile agents represent business processes. These agents encapsulate the policies, business practices and models of different business activities (like order management, payroll, warehouse and stock control). The aim of ABO is to provide a new paradigm of Business Information System design and use.

Explanations of protest policing have neglected the "spotlight of the media." Based on data on repression and its media coverage in four Swiss cities from 1965 to 1994, our findings suggest that the mass media do have an impact on levels and forms of repression, along with political opportunity dimensions and levels of disruption. We identify two mechanisms. First, we show...

We show how a collection of results in the literature on the empirical estimation of welfare indicators from sample data can be unified. We also demonstrate how some of these ideas can be extended to empirically important cases where the data have been trimmed or censored.