1490 search results - page 116 / 298 » Interactive semantics |
129
Voted
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
109
click to vote
CAL
2006
15 years 2 months ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
126
Voted
IJVR
2008
15 years 2 months ago
2008
These Nowadays more Virtual Environment (VEs) are becoming available on the web. This means that VE are becoming more accessible to a larger and more diverse audience. It also mean...
121
Voted
JSW
2006
15 years 2 months ago
2006
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
107
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
The importance of the Web service technology for business, government, among other sectors, is growing. Its use in these sectors demands security concern. The Web Services Securit...