Sciweavers

14382 search results - page 149 / 2877
» Time in Connectionist Models
Sort
View
FOSSACS
2007
Springer
16 years 16 days ago
Model-Checking One-Clock Priced Timed Automata
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...
FSE
2007
Springer
140views Cryptology» more  FSE 2007»
16 years 16 days ago
An Analytical Model for Time-Driven Cache Attacks
Kris Tiri, Onur Aciiçmez, Michael Neve, Fle...