298
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
236
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
336
click to vote
ATMOS
2011
14 years 7 months ago
2011
The primary objective of this paper is to introduce Fuzzy Rule-Based Systems (FRBSs) as a relatively new technology into airport transportation research, with a special emphasis o...
157
Voted
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
