Sciweavers

609 search results - page 16 / 122
» A Refined Goal Model for Semantic Web Services
Sort
View
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 2 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
SOFSEM
2009
Springer
14 years 5 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
14 years 3 months ago
Security Conscious Web Service Composition with Semantic Web Support
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
Barbara Carminati, Elena Ferrari, Ryan Bishop, Pat...
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...
DEXAW
2004
IEEE
148views Database» more  DEXAW 2004»
14 years 15 days ago
A Knowledge-based Framework for Dynamic Semantic Web Services Brokering and Management
The concept of automating Web services, specifically the brokering activities, is an active research topic. We need a comprehensive and overarching framework that handles the disc...
Randy Howard, Larry Kerschberg