3504 search results - page 580 / 701 » Secure protocol composition |
125
click to vote
EUROMICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
110
click to vote
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
108
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
128
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
The extensibility, flexibility, expressiveness, and platform-neutrality of XML delivers key advantages for interoperability. The interoperability of XML Web services often comes a...
123
click to vote
AAMAS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...