8540 search results - page 472 / 1708 » The Dynamic Servers Problem |
171
click to vote
DIGRA
2005
Springer
16 years 12 days ago
2005
Springer
One of the greatest challenges in the design of realistic Artificial Intelligence (AI) in computer games is agent movement. Pathfinding strategies are usually employed as the core...
180
click to vote
FM
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
171
click to vote
ICCS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
151
click to vote
IEAAIE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
192
click to vote
TACAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...