Sciweavers

4378 search results - page 388 / 876
» On the Complexity of Ordered Colourings
Sort
View
NICSO
2010
Springer
16 years 1 months ago
Evaluation of a Catalytic Search Algorithm
We investigate the search properties of pre-evolutionary random catalytic reaction networks, where reactions might be reversible, and replication is not taken for granted. Since it...
Lidia Yamamoto
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
16 years 1 months ago
Optimal sensor activation in controlled discrete event systems
— The problem of sensor activation in a controlled discrete event system is considered. Sensors are assumed to be costly and can be turned on/off during the operation of the syst...
Weilin Wang, Stéphane Lafortune, Feng Lin
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
16 years 1 months ago
Prediction of vertical motions for landing operations of UAVs
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...
Xilin Yang, Hemanshu Roy Pota, Matthew Garratt, Va...
CIMCA
2008
IEEE
16 years 1 months ago
Connector-Driven Gradual and Dynamic Software Assembly Evolution
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
CSFW
2008
IEEE
16 years 1 months ago
DKAL: Distributed-Knowledge Authorization Language
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
Yuri Gurevich, Itay Neeman