8 search results - page 1 / 2 » Towards a reliable air traffic control |
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two "...
ATAL
2007
Springer
13 years 8 months ago
2007
Springer
Air traffic flow management is one of the fundamental challenges facing the Federal Aviation Administration (FAA) today. The FAA estimates that in 2005 alone, there were over 322,...
TITS
2010
12 years 11 months ago
2010
The agent computing paradigm is rapidly emerging as one of the powerful technologies for the development of largescale distributed systems to deal with the uncertainty in a dynamic...
KBSE
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
GECCO
2006
Springer
13 years 8 months ago
2006
Springer
This poster investigates the use of Evolutionary Algorithms (EAs) to optimise solutions to the Dynamic Aircraft Landing Problem (DALP). The approach adopted here uses an EA to evo...