We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
Sieuwert van Otterloo, Wiebe Der, Michael Wooldrid...
In this paper, we extrapolate findings of using the Genre and Ontology based Business Information Architecture Framework (GOBIAF) as a methodology to approach enterprise architect...
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
New technology in knowledge discovery and data mining (KDD) make it possible to extract valuable information from operational data. Private businesses already use the technology f...
Hye-Chung (Monica) Kum, Dean Duncan, Kimberly Flai...
: Knowledge-Based (KB) strategies are being recognised as a vital factor of business strategy. Still, there is limited empirical research in this young academic field. This researc...