Abstract. Mechanisms for adapting models, filters, regulators and so on to changing properties of a system are of fundamental importance in many modern identification, estimation...
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
Abstract. We present a garbage collection algorithm that extends generational scavenging to collect large older generations (mature objects) non-disruptively. The algorithm's ...