Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
In this paper we portray a specific type of knowledge which we term ‘nomadic knowledge’. It is required periodically by different actors and travels along foreseeable paths be...
Saqib Saeed, Volkmar Pipek, Markus Rohde, Volker W...
We propose "Web Engineering 2.0" to not focus anymore on how to engineer for the Web, but how to engineer the Web. Web Engineering has become one of the core disciplines...
We have obtained the valuable findings about the developmental processes of demonstrative expression skills, which is concerned with the fundamental commonsense of human knowledge...
Assessing the quality of discovered results is an important open problem in data mining. Such assessment is particularly vital when mining itemsets, since commonly many of the disc...