8658 search results - page 221 / 1732 » Models of Command and Control |
95
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— A new method is presented for controlling the lateral foot placement of a simple 3D compass biped model. The method is based on the fact that, in the limit cycle, the gait is t...
117
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In this paper, we derive a simple first-order discretetime model for the Transmission Control Protocol (TCP) with Random Early Detection (RED). We view the network as ...
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
118
click to vote
HYBRID
1995
Springer
15 years 6 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
138
Voted
ECUMN
2007
Springer
15 years 8 months ago
2007
Springer
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...