Service-Oriented Architectures are becoming a popular system paradigm in e-learning, and there are several efforts to create community driven service frameworks. In this paper, we...
David E. Millard, Karl Doody, Hugh C. Davis, Leste...
We consider lexicM operations and their representation in a unification based lexicon and the role of lexical semantic information. We describe a unified treatment of the linguist...
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
In this paper we complete the semantical framework proposed in [12] for process and causality semantics of Petri nets by an additional aim and develop process and causality semanti...