Back to Results
First PageMeta Content
Artificial intelligence / Model checkers / Ontology / Information science / Technical communication / Model checking / Markov chain / PRISM model checker / Web Ontology Language / Semantic Web / Information / Computing


C:/1_ Research/Copy of My Thesis - Professor version/cuthesis_masters.dvi
Add to Reading List

Document Date: 2011-10-17 08:17:28

Open Document

File Size: 1,31 MB

Share Result on Facebook

Company

Verifying Web Services / /

Facility

Concordia University / /

IndustryTerm

Web Ontology Language / individual web services / transformation algorithm / WEB SERVICES USING PROBABILISTIC MODEL CHECKING Giti Oghabi / Online sale chart / Web Services using Probabilistic Model Checking / Web Service Technology Stack / Online sale Markov chain diagram / Web Services using Probabilistic Model Checking Giti Oghabi In service computing / web service / Web-based Application / web services technology / Web Service Ontology Language / software tool / Web service stack / online sale scenario / web services / checking a web service / interacting web services / /

Organization

Concordia University / Department of Computer Science and Software Engineering Presented / Dean Faculty of Engineering and Computer Science / Concordia University School / /

Person

Jamal Bentahar / Giti Oghabi / Giti Oghabi Entitled / Robin A.L. Drew / Parvaneh / Javad / /

Position

using Probabilistic Model / Supervisor / Chair / Graduate Program Director / /

RadioStation

Work 66 / /

Technology

SOA / web services technology / transformation algorithm / /

SocialTag