位置：成果数据库 > 会议 > 会议详情页
Logic-based Verification forWeb services Composition with TLA
  • 所属机构名称：东南大学
  • 会议名称：SOCA
  • 成果类型：会议
  • 相关项目：Web服务组合模型与算法
作者： Zuling Kang|Li Li|Chen Wang|Hongbing Wang|
同会议论文项目
Web服务组合模型与算法
期刊论文 16 会议论文 54 著作 1
同项目会议论文
Uncertainty-aware QoS description and selection model for Web services
A new approach to describe web services
WS-CDL+ for web service collaboration
SLF4SS: Facilitating flexible services selection
Web-service based information integration for e-financial planning system matchmaking decision suppo
Web Service-Based Business Process Development, Threat Modeling and Security Assessment Tool
A global criminal and terrorist tracking framework using semantic grid technologies
Preference-aware web service composition by reinforcement learning
Mobile intelligence for delay tolerant logistics and supply chain management
Emergency response framework for aviation XML services on MANET
Specify and compose web services by TLA
Using TLA for modeling and analysis of Web services composition
RLPLA: A reinforcement learning Algorithm of Web service Composition with Preference Consideration
A service platform for RFID technology adoption analysis in inventory control
Incomplete preference-driven web service selection
An efficient approach to compose Web services
Clustering Web Services for Automatic Categorization
Privacy-preserving data mashup
Verifying WS-CDL-Based Web Services Collaboration by Model Checking
Preference-Aware Web Service Composition Using Hierarchical Reinforcement Learning
Behavioral attestation for business processes
Web service decision-making model based on uncertain-but-bounded attributes
Towards a privacy policy enforcement middleware with location intelligence
QoS-based web services selection
Security conscious Web service composition with semantic Web support
Developing a distributed e-monitoring system for enterprise Website and Web services: An experience
Tendering Process Model (TPM) implementation for B2B integration in a web services environment
A virtual travel agent system for M-tourism with semantic Web service based design and implementatio
Providing more customized services for online games using service oriented architecture and three-ti
Protecting the exchange of medical images in healthcare process integration with Web services
Dynamic workflow generation with interoperable security alerts in MANET
e-Tendering with web services: A case study on the tendering process of building construction
Enabling Web services policy negotiation with privacy preserved using XACML
Privacy issues in middleware for service-oriented applications
Overview of security issues of VoIP
Apply model integration in RFID technology adoption analysis
Towards an SOA technology adoption analysis framework
RFID assisted object tracking for automating manufacturing assembly lines
E-monitoring of outsourcing IS project in financial institutions: A case study on mandatory providen
Research issues of privacy access control model for mobile ad hoc healthcare applications with XACML
Implementing a facial recognition system with alerts and Web services
Privacy access control model for aggregated e-health services
Analysis of RFID adoption in China
SOA-trust: Towards developing trustworthy RFID enabled intelligent service solutions
WS-CDL+: An extended WS-CDL execution engine for web service collaboration
Privacy access control model with location constraints for XML services
A rule-based approach for availability of Web service
Towards practical privacy preserving technology adoption analysis service platform
Design and analysis for RFID authentication protocol
Web Service Selection with Incomplete or Inconsistent User Preferences
A Logic-Based Approach to Web Services Composition and Verification
Anonymizing healthcare data: A case study on the blood transfusion service
Service-oriented architecture for privacy-preserving data mashup