Sciweavers

76 search results - page 11 / 16
» Agent-Oriented Formal Specification of Web Services
Sort
View
WWW
2005
ACM
14 years 9 months ago
Design for verification for asynchronously communicating Web services
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
DEBU
2002
120views more  DEBU 2002»
13 years 8 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
ICWS
2008
IEEE
13 years 10 months ago
A Faceted Classification Based Approach to Search and Rank Web APIs
Web application hybrids, popularly known as mashups, are created by integrating services on the Web using their APIs. Support for finding an API is currently provided by generic s...
Karthik Gomadam, Ajith Ranabahu, Meenakshi Nagaraj...
DGO
2007
97views Education» more  DGO 2007»
13 years 10 months ago
Interactive exploration and discovery of e-government services
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
Giovanni Maria Sacco
PVLDB
2008
81views more  PVLDB 2008»
13 years 8 months ago
Optimization of multi-domain queries on the web
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...
Daniele Braga, Stefano Ceri, Florian Daniel, David...