2106 search results - page 215 / 422 » Operational Semantics for MSC'96 |
166
click to vote
HASE
2008
IEEE
16 years 16 days ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
131
click to vote
ICPR
2008
IEEE
16 years 16 days ago
2008
IEEE
There are two substantial open issues in the field of the image retrieval: semantic gap between computationally extracted low-level features and human operated high-level concepts...
170
click to vote
SOSE
2008
IEEE
16 years 14 days ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
176
click to vote
SOSE
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
142
click to vote
QSIC
2007
IEEE
16 years 11 days ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...