Sciweavers

1439 search results - page 209 / 288
» The Web Service Modeling Toolkit
Sort
View
ISPA
2005
Springer
14 years 2 months ago
Research and Implementation of Workflow Interoperability Crossing Organizations
In order to resolve the shortcomings of traditional workflow interoperation and realize more flexible workflow interoperation, this article describes a new workflow interoperating ...
Dingsheng Wan, Qing Li, Guihai Chen
ESORICS
2005
Springer
14 years 2 months ago
Browser Model for Security Analysis of Browser-Based Protocols
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sa...
SEMWEB
2009
Springer
14 years 3 months ago
Semantically-Aided Business Process Modeling
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
Chiara Di Francescomarino, Chiara Ghidini, Marco R...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 2 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ICC
2009
IEEE
125views Communications» more  ICC 2009»
13 years 6 months ago
HMM-Web: A Framework for the Detection of Attacks Against Web Applications
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
Igino Corona, Davide Ariu, Giorgio Giacinto