496 search results - page 55 / 100 » Model Checking Expressive Web Service Descriptions |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
ICSOC
2004
Springer
14 years 2 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
JNW
2008
13 years 9 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
DSRT
2004
IEEE
14 years 23 days ago
2004
IEEE
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...