1150 search results - page 173 / 230 » Specifying Information-Flow Controls |
SGAI
2009
Springer
14 years 2 months ago
2009
Springer
Real-time strategy games share many aspects with real situations in domains such as battle planning, air traffic control, and emergency response team management which makes them a...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Microcontrollers are the core part of automotive Electronic Control Units (ECUs). A significant investment of the ECU manufacturers and even their customers is linked to the speci...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Lightpath scheduling is an important capability in next-generation wavelength-division multiplexing (WDM) optical networks to reserve resources in advance for a specified time ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...