3504 search results - page 529 / 701 » Computational Aspects of Equilibria |
194
click to vote
FORMATS
2005
Springer
16 years 2 days ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
163
click to vote
GCC
2005
Springer
16 years 2 days ago
2005
Springer
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
170
click to vote
HM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...
164
click to vote
HVC
2005
Springer
16 years 2 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
151
click to vote
ICN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper presents a stable accurate rapid bandwidth estimate (SARBE) algorithm to improve TCP performance over wireless networks. The proposed algorithm estimates the b...