623 search results - page 72 / 125 » An Algorithm for Automatic Service Composition |
160
Voted
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
113
click to vote
CG
2006
Springer
15 years 2 months ago
2006
Springer
The investigation of molecular structures often requires the use of graphics software to display different representations of the molecule of interest. Unfortunately, the commonly...
116
Voted
TON
2002
15 years 2 months ago
2002
By extending the system theory under the (min, +) algebra to the time-varying setting, we solve the problem of constrained traffic regulation and develop a calculus for dynamic ser...
108
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The existing Web service management solutions are almost exclusively focused on optimization of technical QoS metrics (e.g., availability). However, financial (e.g., prof...
121
Voted
ER
2004
Springer
15 years 8 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...