Sciweavers

446 search results - page 40 / 90
» A proof markup language for Semantic Web services
Sort
View
SEMWEB
2007
Springer
16 years 9 days ago
Towards Semantic Web Service Engineering
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
Gennady Agre, Zlatina Marinova, Tomás Parie...
SASO
2008
IEEE
16 years 17 days ago
Semantic Web Based Self-Management for a Pervasive Service Middleware
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
Weishan Zhang, Klaus Marius Hansen
ESWS
2005
Springer
15 years 11 months ago
The OWL-S Editor - A Development Tool for Semantic Web Services
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
Daniel Elenius, Grit Denker, David Martin, Fred Gi...
ECLIPSE
2005
ACM
15 years 8 months ago
Leveraging Eclipse for integrated model-based engineering of web service compositions
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
Howard Foster, Sebastián Uchitel, Jeff Mage...
WETICE
2005
IEEE
15 years 11 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...