4326 search results - page 368 / 866 » A Model for Process Service Interaction |
155
click to vote
APWEB
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
137
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Web sites have become increasingly complex and offer a large variety of services and contents. The proliferation of dynamic Web contents opens up new challenging performance and s...
159
click to vote
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
162
click to vote
ICOIN
2007
Springer
15 years 11 months ago
2007
Springer
One of the main problems of network security is Distributed Denial of Service (DDoS) caused by TCP SYN packet flooding. To counteract SYN flooding attack, several defense methods...
170
click to vote
CSFW
1995
IEEE
15 years 8 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...