Sciweavers

62 search results - page 8 / 13
» Directory Support for Large-Scale, Automated Service Composi...
Sort
View
ENASE
2009
131views Hardware» more  ENASE 2009»
14 years 9 months ago
Flexible Composites and Automatic Component Selection for Service-Based Applications
In traditional Software Engineering approaches, an application is described as a composite entity containing all its components. This approach is no longer relevant in modern Softw...
Jacky Estublier, Idrissa A. Dieng, Eric Simon, Ger...
ECOWS
2004
Springer
15 years 5 months ago
A Conceptual Framework for Semantic Web Services Development and Deployment
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
Claus Pahl
CACM
2008
93views more  CACM 2008»
14 years 11 months ago
Ontologies and the semantic web
The goal of semantic web research is to allow the vast range of web-accessible information and services to be more effectively exploited by both humans and automated tools. To fac...
Ian Horrocks
TELSYS
2002
126views more  TELSYS 2002»
14 years 11 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
SIGSOFT
2007
ACM
16 years 11 days ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...