Sciweavers

320 search results - page 46 / 64
» Automatic web service composition with abstraction and refin...
Sort
View
ICTAC
2009
Springer
13 years 6 months ago
Automatic Conflict Detection on Contracts
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
ICWE
2004
Springer
14 years 1 months ago
Personalisation Services for Self E-learning Networks
This paper describes the personalisation services designed for self e-learning networks in the SeLeNe project. A self e-learning network consists of web-based learning objects that...
Kevin Keenoy, Alexandra Poulovassilis, Vassilis Ch...
ICWS
2010
IEEE
13 years 10 months ago
Variability Modeling and QoS Analysis of Web Services Orchestrations
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Be...
PERCOM
2010
ACM
13 years 6 months ago
Sensor.Network: An open data exchange for the web of things
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
Vipul Gupta, Arshan Poursohi, Poornaprajna Udupi
ISORC
2005
IEEE
14 years 2 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul