Sciweavers

3234 search results - page 343 / 647
» Web Services for a Semantic Web Integrated Architecture
Sort
View
ICWS
2008
IEEE
15 years 8 months ago
Extending WS-Notification with an Expressive Event Notification Broker
Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invocations b...
Sven De Labey, Eric Steegmans
HT
2004
ACM
16 years 5 days ago
Integrating the web and the world: contextual trails on the move
This paper presents applications of HyCon, a framework for context aware hypermedia system. The HyCon architecture encompasses annotations, links, and guided tours associating loc...
Frank Allan Hansen, Niels Olof Bouvin, Bent Guldbj...
SIGSOFT
2008
ACM
16 years 7 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
JLP
2007
159views more  JLP 2007»
15 years 6 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
ASWC
2006
Springer
15 years 10 months ago
Semantic Wiki as a Lightweight Knowledge Management System
Since its birth in 1995, Wiki has become more and more popular. This paper presents a Semantic Wiki, a Wiki extended to include the ideas of Semantic Web. The proposed Semantic Wik...
Hendry Muljadi, Hideaki Takeda, Aman Shakya, Shoko...