496 search results - page 45 / 100 » Model Checking Expressive Web Service Descriptions |
ICIW
2008
IEEE
14 years 3 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
AINA
2004
IEEE
14 years 25 days ago
2004
IEEE
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...
WETICE
2005
IEEE
14 years 2 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Current industry standards for describing Web Services are focused on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the u...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...