Sciweavers

909 search results - page 119 / 182
» An Immune System Approach to Scheduling in Changing Environm...
Sort
View
IROS
2009
IEEE
195views Robotics» more  IROS 2009»
15 years 4 months ago
Optical flow-based controller for reactive and relative navigation dedicated to a four rotor rotorcraft
— Autonomous navigation of an unmanned aerial vehicle (UAV) can be achieved with a reactive system which allows the robot to overcome all the unexpected changes in its environmen...
Eduardo Rondon, Isabelle Fantoni-Coichot, Anand Sa...
ATAL
2009
Springer
15 years 2 months ago
Dynamic information source selection for intrusion detection systems
Our work presents a mechanism designed for the selection of the optimal information provider in a multi-agent, heterogeneous and unsupervised monitoring system. The selfadaptation...
Martin Rehák, Eugen Staab, Michal Pechoucek...
REX
1991
15 years 1 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
USENIX
2003
14 years 11 months ago
Controlling Your PLACE in the File System with Gray-box Techniques
We present the design and implementation of PLACE, a gray-box library for controlling file layout on top of FFSlike file systems. PLACE exploits its knowledge of FFS layout poli...
James A. Nugent, Andrea C. Arpaci-Dusseau, Remzi H...
EUROPAR
2000
Springer
15 years 1 months ago
Novel Models for Or-Parallel Logic Programs: A Performance Analysis
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
Vítor Santos Costa, Ricardo Rocha, Fernando...