We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of 12, 7] and the phase transition system models of 15, 2], allows communication among components using both shared variables and shared actions. The main contributions of this paper are: (1) the deenition of hybrid I/O automata ...

Copyright and Moral Rights for the articles on this site are retained by the individual authors and/or other copyright owners. For more information on Open Research Online's data policy on reuse of materials please consult the policies page.

As in previous years, the Bank maintained an active research program on issues related to its policy responsibilities in 1995. Results of this research are made available to the public in discussion papers, an annual conference volume and in Bulletin articles, as well as contributing to the analysis of policy issues within the Bank. Research projects completed during 1995 can be grouped under f...

Nowadays, given different definitions and conceptions on development, territorial planning lends to for various economic, social and geographical aspects, however its defensive and security perspectives have been taken into account to less extent. The present research is aimed to specify passive defense legal requirements in Territorial planning through outlining the most important rules on pas...

Copyright and Moral Rights for the articles on this site are retained by the individual authors and/or other copyright owners. For more information on Open Research Online's data policy on reuse of materials please consult the policies page.

Formally well-founded compilation techniques for Term Rewriting Systems (TRSs) are presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs in which all rules have an extremely simple form. A notion of simulation of (rewrite) relations is presented, under which an MTRSs can be said to simulate a TRS. The MTRS rules can be directly interpreted as instructions ...

The Governance and Social Development Resource Centre (GSDRC) provides cutting-edge knowledge services on demand and online and aims to help reduce poverty by informing policy and practice in relation to governance, conflict and social development issues. The Norwegian Peacebuilding Centre (Noref, Norsk Ressurssenter for Fredsbygging) is a resource centre integrating knowledge and experience to...

In the last two decades, the scope and volume of higher education research has grown enormously. But the debates about what it is and what it is for are by no means settled. Questions about its institutional settings and functions; its relationships with disciplinary interests and cross-disciplinary themes in the humanities and social sciences; the most appropriate methodologies for it; the blu...