1439 search results - page 156 / 288 » The Web Service Modeling Toolkit |
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
JLP
2007
13 years 9 months ago
2007
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
PERCOM
2003
ACM
14 years 9 months ago
2003
ACM
The Open Hypermedia model is based upon the separation of hypertext links from documents and treats them as separate entities. Distributed link services take this approach and imp...
TGC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
ECAI
2006
Springer
2006
Springer
Identifying Inter-Domain Similarities Through Content-Based Analysis of Hierarchical Web-Directories
14 years 29 days ago
Providing accurate personalized information services to the users requires knowing their interests and needs, as defined by their User Models (UMs). Since the quality of the person...