1805 search results - page 243 / 361 » A Theory of Closure Operators |
134
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
129
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
148
click to vote
DIAGRAMS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
129
click to vote
DLS
2008
15 years 6 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
140
Voted
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...