infonet-economy

Self-regulation, government intervention, networking: transformations of the social state in europe (the cases of hiv/aids, alcohol and drug abuse) A reflection about the development of the social state and its recent changes proceeds from the analysis of the policies carried out in the areas of alcohol and illegal drug abuse and HIV/AIDS. A historical reconstruction provides a view...

The chapter attempts to present the case for EU enlargement for reasons of security, using an adapted use of the Karl Deutsch concept of "community of security", as well as a dose of realism. The author also argues that EU enlargement has something to do with the perception of a Russian threat as well as to balancing a possible German hegemony.

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