3008 search results - page 79 / 602 » Information and Control in Gray-Box Systems |
170
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
190
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
158
click to vote
CISS
2008
IEEE
16 years 26 days ago
2008
IEEE
—This paper studies a network under TCP congestion control, in which the number of flows per user is explicitly taken into account. We present a control law for this variable th...
162
click to vote
INFORMS
2010
15 years 4 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
160
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
Usage controls allow the distributor of some information to limit how recipients of that information may use it. The Trusted Computing Group has standardized Trusted Platform Modu...