8658 search results - page 439 / 1732 » Models of Command and Control |
193
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
149
click to vote
AMC
2007
15 years 7 months ago
2007
In this paper, we consider an integrated pest management model which is impulsively controlled by means of biological and chemical controls. These controls are assumed to act in a...
176
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
184
click to vote
JSAC
2006
15 years 6 months ago
2006
We use game theorectic models to show the lack of incentives in the TCP congestion avoidance algorithm and the consequential systemwide network problems. We then propose a Vickery-...
184
click to vote
JNW
2007
15 years 6 months ago
2007
—Real time traffic adopting UDP at the transport layer needs some quality of service. It is offered through an admission control scheme. This paper adopts one such scheme which i...