1446 search results - page 260 / 290 » Network Access Control (NAC) |
SP
2009
IEEE
14 years 5 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
AI
2009
Springer
14 years 5 months ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
ICC
2008
IEEE
14 years 5 months ago
2008
IEEE
—With the availability of multiple rates in IEEE 802.11a/b/g wireless LANs, it is desirable to improve the network capacity and temporal fairness by sending multiple consecutive ...
IEEEIAS
2008
IEEE
14 years 5 months ago
2008
IEEE
: Research in Vehicular Ad Hoc NETworks (VANETs) has evolved considerably over the last years. Security and privacy in VANETs have recently appealed special interest in the researc...
CBMS
2007
IEEE
14 years 5 months ago
2007
IEEE
One of the most considerable functions in a hospital's infection control program is the surveillance of antibiotic resistance. Several traditional methods used to measure it ...