ents a prototype system, called UbiCon system. By abstracting media streams into generic CONTENT entities, the system provides a simple and powerful means for services to operate m...
Haipeng Wang, Zhiwen Yu, Xingshe Zhou, Tao Zhang, ...
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...