We consider the Airspace Sectorization Problem (ASP) in which airspace has to be partitioned into a given number of sectors, each of which being assigned to a team of air traffic controllers. The objective is to minimize the coordination workload between adjacent sectors while balancing the total workload of controllers. Many specific constraints, including both geometrical and aircraft related constraints are taken into account. The problem is solved in a constraint programming framework. Experimental...
We consider the Airspace Sectorization Problem (ASP) in which airspace
has to be partitioned into a given number of sectors, each of which
being assigned to a team of air traffic controllers. The objective is
to minimize the coordination workload between adjacent sectors while
balancing the total workload of controllers. Many specific
constraints, including both geometrical and aircraft related
constraints are taken into account. The problem is solved in a
constraint programming framework. Experimental...
Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program. 51 (2002) 125–156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property given by...
Thread algebra is a semantics for recent object-oriented
programming languages [J.A. Bergstra and M.E. Loots,
(2002) 125–156; J.A. Bergstra and C.A. Middelburg, (2007)] such as C# and Java.
This paper shows that thread algebra
provides a process-algebraic framework for reasoning about and
classifying various standard notions of noninterference, an
important property in secure information flow. We will take the
noninterference property given by Volpano [D. Volpano, G. Smith...
Download Results (CSV)