Sciweavers

553 search results - page 22 / 111
» Phoenix Tool: A Support to Semantic Learning Model
Sort
View
BTW
2007
Springer
123views Database» more  BTW 2007»
15 years 3 months ago
Matching Metamodels with Semantic Systems - An Experience Report
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea...
STTT
2008
103views more  STTT 2008»
14 years 9 months ago
Model-based development of a course of action scheduling tool
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
Lars Michael Kristensen, Peter Mechlenborg, Lin Zh...
SIGSOFT
2009
ACM
15 years 10 months ago
Reo2MC: a tool chain for performance analysis of coordination models
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. K...
WWW
2006
ACM
15 years 10 months ago
Learning and inferencing in user ontology for personalized semantic web services
Domain ontology has been used in many Semantic Web applications. However, few applications explore the use of ontology for personalized services. This paper proposes an ontology b...
Xing Jiang, Ah-Hwee Tan
ASM
2008
ASM
14 years 11 months ago
UML-B: A Plug-in for the Event-B Tool Set
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
Colin F. Snook, Michael J. Butler