Listar Artikuluak-Ingeniaritza por grupo de investigación "Sistemas distribuidos de tiempo real"
Mostrando ítems 1-5 de 5
-
A methodology for model-based verification of safety contracts and performance requirements
(SAGE, 2018)The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software ... -
A modified genetic algorithm applied to the elevator dispatching problem
(Springer, 2016)Reduction of passenger waiting time in a multiple elevator system is an important goal in the lift industry. Genetic algorithms (GAs) have been applied to the dispatching problem in vertical transportation. In this paper, ... -
Robustness of inventory replenishment and customer selection policies for the dynamic and stochastic inventory-routing problem
(Elsevier, 2016)When inventory management, distribution and routing decisions are determined simultaneously, implementing a vendor-managed inventory strategy, a difficult combinatorial optimization problem must be solved to determine which ... -
User behavior shift detection in ambient assisted living environments
(JMIR Publications, 2013)Identifying users' frequent behaviors is considered a key step to achieving real, intelligent environments that support people in their daily lives. These patterns can be used in many different applications. An algorithm ...
