Sciweavers

4689 search results - page 560 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
281
Voted
GIS
2006
ACM
16 years 8 months ago
Modeling and querying uncertain spatial information for situational awareness applications
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision-making, reasoning, and analysis. Raw input about un...
Dmitri V. Kalashnikov, Yiming Ma, Sharad Mehrotra,...
TISSEC
2010
142views more  TISSEC 2010»
15 years 1 months ago
A logical specification and analysis for SELinux MLS policy
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...
174
Voted
FLAIRS
2010
15 years 9 months ago
Applying Goal Driven Autonomy to a Team Shooter Game
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
Hector Muñoz-Avila, David W. Aha, Ulit Jaid...
162
Voted
FAST
2007
15 years 8 months ago
Architectures for Controller Based CDP
Continuous Data Protection (CDP) is a recent storage technology which enables reverting the state of the storage to previous points in time. We propose four alternative architectu...
Guy Laden, Paula Ta-Shma, Eitan Yaffe, Michael Fac...
197
Voted
USS
2008
15 years 9 months ago
Securing Provenance
Provenance describes how an object came to be in its present state. Intelligence dossiers, medical records and corporate financial reports capture provenance information. Many of ...
Uri Braun, Avraham Shinnar, Margo I. Seltzer