1127 search results - page 119 / 226 » A Dynamical Systems Approach to Behavior-Based Formation Con... |
107
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
135
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
144
click to vote
EUROSYS
2006
ACM
16 years 21 days ago
2006
ACM
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...
147
Voted
SIGGRAPH
1989
ACM
15 years 7 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...
222
Voted
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...