Sciweavers

4689 search results - page 132 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
AIMSA
2008
Springer
16 years 23 days ago
A Logical Approach to Dynamic Role-Based Access Control
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
Philippe Balbiani, Yannick Chevalier, Marwa El Hou...
AICOM
2005
91views more  AICOM 2005»
15 years 6 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
IJON
2006
84views more  IJON 2006»
15 years 6 months ago
Dynamic regulation of spike-timing dependent plasticity in electrosensory processing
This study investigates the control of spike-timing dependent plasticity (STDP) by regulation of the dendritic spike threshold of the postsynaptic neuron. The control of synaptic ...
Patrick D. Roberts, Gerardo Lafferriere, Nathaniel...
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
16 years 29 days ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
JUCS
2010
215views more  JUCS 2010»
15 years 1 months ago
A Multidisciplinary Survey of Computational Techniques for the Modelling, Simulation and Analysis of Biochemical Networks
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
James Decraene, Thomas Hinze