Sciweavers

3121 search results - page 535 / 625
» Information Survivability Control Systems
Sort
View
148
Voted
ICTAI
2009
IEEE
15 years 10 months ago
Managing Authorization Provenance: A Modal Logic Based Approach
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
139
Voted
AUTOMOTIVEUI
2009
ACM
15 years 10 months ago
Design space for driver-based automotive user interfaces
Over the last 100 years it has become much easier to operate a car. However in recent years the number of functions a user can control while driving has greatly increased. Infotai...
Dagmar Kern, Albrecht Schmidt
110
Voted
CDC
2008
IEEE
142views Control Systems» more  CDC 2008»
15 years 10 months ago
Convergence of rule-of-thumb learning rules in social networks
— We study the problem of dynamic learning by a social network of agents. Each agent receives a signal about an underlying state and communicates with a subset of agents (his nei...
Daron Acemoglu, Angelia Nedic, Asuman E. Ozdaglar
HASE
2008
IEEE
15 years 10 months ago
Localizing Program Errors via Slicing and Reasoning
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
Fei Pu, Yan Zhang
GRID
2007
Springer
15 years 10 months ago
Resource usage policy expression and enforcement in grid computing
-- To date, not enough attention has been paid to issues surrounding the description and enforcement of policies for controlling Grid resources. These policies define the permitted...
Jun Feng, Glenn S. Wasson, Marty Humphrey