Sciweavers

14360 search results - page 166 / 2872
» Time Modeling in MARTE
Sort
View
81
Voted
JCNS
2010
70views more  JCNS 2010»
15 years 1 months ago
A biologically plausible model of time-scale invariant interval timing
Rita Almeida, Anders Ledberg
86
Voted
IPPS
2010
IEEE
15 years 20 days ago
Modeling and analysis of real -time systems with mutex components
Guoqiang Li, Xiaojuan Cai, Shoji Yuen
99
Voted
TCC
2010
Springer
119views Cryptology» more  TCC 2010»
15 years 18 days ago
Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model
Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrish...
88
Voted
CORR
2009
Springer
117views Education» more  CORR 2009»
15 years 17 days ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
129
Voted
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
15 years 16 days ago
Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
Abstract
Rainer Palm, Bourhane Kadmiry, Boyko Iliev, Dimite...