In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
Collaborative work requires, more than ever, access to data located on multiple autonomous and heterogeneous data sources. The development of these novel information platforms, ref...
Knowledge engineers have favoured a diagrammatic approach for developing knowledge-based systems by adopting those used in software engineering. However, these modelling techniques...
Mohd Syazwan Abdullah, Chris Kimble, Richard F. Pa...