Learn More
Designations used by companies to distinguish their products are often claimed as trademarks or registered trademarks. In all instances in which Morgan Kaufmann Publishers is aware of a claim, the product names appear in initial capital or all capital letters. Readers, however, should contact the appropriate companies for more complete information regarding(More)
This paper proposes an extension to the Object-Role Modeling approach to support formal declaration of dynamic rules. Dynamic rules differ from static rules by pertaining to properties of state transitions, rather than to the states themselves. In this paper, application of dynamic rules is restricted to so-called single-step transactions, with an old state(More)
Research on the development of virtual environments has been limited to date to universities due to the high cost of equipment and high-speed internet access. Applications of virtual environments using CAVE technology are numerous in medicine, architecture, military weapons systems, medicine, science research and business training. However, the cost of this(More)
Qualitative representations provide a method for obtaining coarse-grained descriptions of dynamic system behaviour. These can be valuable where a general result is required, or where the available information is not adequate for a numerical or analytic representation. If qualitative methods are to find wider use, it is clearly important to understand the(More)