305 search results - page 47 / 61 » Proof as Composition: An approach for the Large-granularity ... |
OTM
2007
Springer
14 years 2 months ago
2007
Springer
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems includ...
ICWS
2004
IEEE
13 years 10 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
WEBI
2007
Springer
14 years 2 months ago
2007
Springer
Different ontologies used in semantic web services fields raise numerous interoperation and communication problems with respect to service discovery, composition, and execution. ...
ICSE
2010
IEEE-ACM
14 years 20 days ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...