Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Xiaoxing Niu
Verifying Service Choreography Model Based on Description Logic
Mathematical Problems in Engineering
Mathematics
Engineering
Related publications
A Context Model for Service Composition Based on Dynamic Description Logic
Intelligent Information Processing IV
Service Mediator Model for Value Co-Creation Based on Service Dominant Logic
Journal of Service Science and Management
Service Selection Based on Dominant Role of the Choreography
International Journal on Web Service Computing
Formal Logic Research in Mobile Service Recommendation Model Based on Situation Calculus
DEStech Transactions on Computer Science and Engineering
Flexible Choreography-Driven Service Selection
Intelligenza Artificiale
Artificial Intelligence
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Data Flow Testing of Service Choreography
A Systematic Literature Review of Service Choreography Adaptation
Service Oriented Computing and Applications
Hardware
Software
Information Systems
Architecture
Management Information Systems
Semantic Web Service Choreography: Contracting and Enactment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
