12084 search results - page 2315 / 2417 » Effect Systems with Subtyping |
130
click to vote
CIT
2004
Springer
15 years 8 months ago
2004
Springer
End-to-end congestion control algorithms in TCP are designed for a highly co-operative environment with the assumption that the end hosts voluntarily participate in it and obey th...
127
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
110
click to vote
EGOV
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...
131
Voted
ER
2004
Springer
15 years 8 months ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
142
Voted
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...