Sciweavers

1297 search results - page 101 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 2 months ago
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
Joachim Biskup, Lena Wiese
RTAS
1998
IEEE
15 years 5 months ago
FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchil...
SAC
2006
ACM
15 years 7 months ago
A framework for (re)deploying components in distributed real-time and embedded systems
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
Nishanth Shankaran, Jaiganesh Balasubramanian, Dou...
ESORICS
2004
Springer
15 years 6 months ago
Security Property Based Administrative Controls
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...
Jon A. Solworth, Robert H. Sloan
MCSS
2009
Springer
15 years 6 months ago
Dynamic Cross-Layer Spectrum Allocation for Multi-Band High-Rate UWB Systems
- In this paper, we investigate a new approach for the spectrum allocation in UWB systems. This approach consists in a cross-layer scheme that takes into consideration the differen...
Ayman Khalil, Matthieu Crussière, Jean-Fran...