Background: Large volumes of morphological descriptions of whole organisms have been created as print or electronic text in a human-readable format. Converting the descriptions in...
The semantic web services composition process arranges several web services into one composite to realize complex workflows. To do this, semantic metadata of web services’ desc...
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...
Abstract. This paper presents DraMachina, an authoring tool dedicated to authors of interactive fictions. An interactive fiction is an extension of classical narrative media as i...
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...