5423 search results - page 159 / 1085 » Denial-of-service in automation systems |
181
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
181
click to vote
TITS
2010
15 years 1 months ago
2010
Abstract--Automated passenger tracking in public transportation systems can be used to estimate the short-term demand and, thereby, to optimize the fleet schedule in real time. It ...
172
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
On chip memories provide fast and energy efficient storage for code and data in comparison to caches or external memories. We present techniques and algorithms that allow for an au...