Sciweavers

1275 search results - page 175 / 255
» Autonomous Semantic Web Services
Sort
View
TELECARE
2004
160views Healthcare» more  TELECARE 2004»
14 years 11 months ago
Aingeru: an Innovating System for Tele Assistance of Elderly People
In this article we present the main features of Aingeru, a system that provides a new kind of tele assistance service. The purpose of developing Aingeru has been to overcome the ma...
Alberto Tablado, Arantza Illarramendi, Miren I. Ba...
WWW
2008
ACM
15 years 10 months ago
Scalable querying services over fuzzy ontologies
Fuzzy ontologies are envisioned to be useful in the Semantic Web. Existing fuzzy ontology reasoners are not scalable enough to handle the scale of data that the Web provides. In t...
Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, S...
SIGSOFT
2008
ACM
15 years 10 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
TOPLAS
2008
101views more  TOPLAS 2008»
14 years 10 months ago
Verifying policy-based web services security
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
JLP
2007
159views more  JLP 2007»
14 years 10 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...