Sciweavers

524 search results - page 51 / 105
» Towards autonomic Web services
Sort
View
IEEEHPCS
2010
13 years 7 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
IDC
2009
Springer
14 years 3 months ago
A Trusted Defeasible Reasoning Service for Brokering Agents in the Semantic Web
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
Kalliopi Kravari, Efstratios Kontopoulos, Nick Bas...
HICSS
2008
IEEE
137views Biometrics» more  HICSS 2008»
14 years 3 months ago
An Activity-Based Approach towards Development and Use of E-Government Service Ontologies
In order to assist bottom-up efforts by administrations annotating their Web resources with adequate metadata, we introduce and follow an activity-based approach towards developme...
Ralf Klischewski, Stefan Ukena
ICWS
2009
IEEE
13 years 6 months ago
A Dynamic Approach toward QoS-Aware Service Workflow Composition
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
David Chiu, Sagar Deshpande, Gagan Agrawal, Rongxi...
WWW
2006
ACM
14 years 9 months ago
Towards DSL-based web engineering
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
Martin Nussbaumer, Patrick Freudenstein, Martin Ga...