1177 search results - page 170 / 236 » A Theory of Role Composition |
89
Voted
AUTOMATICA
2008
15 years 26 days ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
103
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
We study the one-way number-on-the-forehead (NOF) communication complexity of the k-layer pointer jumping problem with n vertices per layer. This classic problem, which has connec...
95
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Abstract--We consider multiaccess multiple-input multipleoutput (MIMO) systems with finite rate feedback with the aim of understanding how to efficiently employ the given feedback ...
112
Voted
IJHPCA
2008
15 years 22 days ago
2008
Grid computing intends to share heterogeneous resources in dynamic service-based environments. This kind of systems has the major advantages of enabling rapid composition of distr...
104
Voted
FUIN
2006
15 years 22 days ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...