Login / Signup
Specification and Verification of Timed Semantic web Services.
Amel Boumaza
Ramdane Maamri
Published in:
ICAASE (2014)
Keyphrases
</>
semantic web services
colored petri nets
web services
petri net
bpel ws
service discovery
semantic web technologies
service oriented
model checking
semantic matching
life cycle
semantic annotation
platform independent
machine learning
semantic descriptions
intelligent agents
description language