Sciweavers

10493 search results - page 490 / 2099
» Dynamic Word Problems
Sort
View
ISCC
2005
IEEE
16 years 13 days ago
Performance Enhancement of an AF Service Using TCP-Aware Marking and Dynamic WRED
The implementation of successful Assured Forwarding (AF) services according to the DiffServ framework remains a challenging problem today, despite the numerous proposals for AF PH...
Christos Bouras, Afrodite Sevasti
170
Voted
DIGRA
2005
Springer
16 years 12 days ago
Realistic Agent Movement in Dynamic Game Environments
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...
Ross Graham, Hugh McCabe, Stephen Sheridan
179
Voted
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 12 days ago
Dynamic Component Substitutability Analysis
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...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICCS
2005
Springer
16 years 11 days ago
Dynamic Memory Management in the Loci Framework
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...
Yang Zhang, Edward A. Luke
IEAAIE
2005
Springer
16 years 11 days ago
Plan Execution in Dynamic Environments
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...
Gordon Fraser, Gerald Steinbauer, Franz Wotawa