Sciweavers

1297 search results - page 183 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
IJBC
2010
69views more  IJBC 2010»
14 years 8 months ago
Initiation of HIV Therapy
In this paper, we numerically show that the dynamics of the HIV system is sensitive to both the initial condition and the system parameters. These phenomena imply that the system ...
Charlotte Yuk-Fan Ho, Bingo Wing-Kuen Ling
CODES
2007
IEEE
15 years 7 months ago
Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems
In this paper we present an approach to the scheduling and voltage scaling of low-power fault-tolerant hard real-time applications mapped on distributed heterogeneous embedded sys...
Paul Pop, Kåre Harbo Poulsen, Viacheslav Izo...
HASE
1997
IEEE
15 years 5 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
ESORICS
2007
Springer
15 years 5 months ago
Satisfiability and Resiliency in Workflow Systems
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
Qihua Wang, Ninghui Li
ATAL
2008
Springer
15 years 3 months ago
Sensing-based shape formation on modular multi-robot systems: a theoretical study
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
Chih-Han Yu, Radhika Nagpal