Sciweavers

1723 search results - page 45 / 345
» Generalized file system dependencies
Sort
View
ATAL
2005
Springer
15 years 3 months ago
A simulator for multi-agent partnership formation based on dependence graphs
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
Júlio de Lima do Rêgo Monteiro, Jaime...
EUROSYS
2007
ACM
15 years 7 months ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
CDC
2009
IEEE
177views Control Systems» more  CDC 2009»
14 years 11 months ago
Exponential stability region estimates for the State-Dependent Riccati Equation controllers
We investigate the nonlinear exponential stability of the State-Dependent Riccati Equation (SDRE)-based control. The SDRE technique is a nonlinear control method, which has emerged...
Insu Chang, Soon-Jo Chung
DIAGRAMS
2008
Springer
14 years 11 months ago
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
Sergio Gutiérrez Santos, Darren Pearce, Eir...
CSFW
1992
IEEE
15 years 1 months ago
Secure Dependencies with Dynamic Level Assignments
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
Pierre Bieber, Frédéric Cuppens