Sciweavers

14360 search results - page 166 / 2872
» Time Modeling in MARTE
Sort
View
TCC
2010
Springer
119views Cryptology» more  TCC 2010»
13 years 8 months ago
Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model
Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrish...
CORR
2009
Springer
117views Education» more  CORR 2009»
13 years 8 months ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
13 years 8 months ago
Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
Abstract
Rainer Palm, Bourhane Kadmiry, Boyko Iliev, Dimite...