Sciweavers

3008 search results - page 522 / 602
» Information and Control in Gray-Box Systems
Sort
View
185
Voted
ICTAI
2009
IEEE
16 years 23 days 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
172
Voted
AUTOMOTIVEUI
2009
ACM
16 years 19 days 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
CDC
2008
IEEE
142views Control Systems» more  CDC 2008»
16 years 18 days 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
16 years 17 days 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
16 years 8 days 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