Sciweavers

362 search results - page 11 / 73
» Semantic matchmaking of web services using model checking
Sort
View
ATAL
2007
Springer
14 years 1 months ago
Filters for semantic service composition in service-oriented multiagent systems
In Service-Oriented MAS middle-agents provide different kinds of matchmaking functionalities. If no adequate services are available for a specific request, a planning functionalit...
Alberto Fernández, Sascha Ossowski
ICMCS
2007
IEEE
131views Multimedia» more  ICMCS 2007»
14 years 1 months ago
Semantic Retrieval with Enhanced Matchmaking and Multi-Modality Ontology
This paper presents a method for automatically annotating and retrieving animal images. Our model is a multi-modality ontology extended from our previous works in the sense that b...
Huan Wang, Liang-Tien Chia, Song Liu
SOCASE
2007
Springer
14 years 1 months ago
Using Goals for Flexible Service Orchestration
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
M. Birna van Riemsdijk, Martin Wirsing
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 21 days ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ESWS
2010
Springer
13 years 11 months ago
Towards Practical Semantic Web Service Discovery
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
Martin Junghans, Sudhir Agarwal, Rudi Studer