Sciweavers

5639 search results - page 15 / 1128
» Timed Abstract Non-interference
Sort
View
94
Voted
JUCS
2008
159views more  JUCS 2008»
15 years 2 months ago
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
118
Voted
GI
2009
Springer
15 years 2 days ago
Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks
Abstract: The work presented in this article generalizes the modeling of task scheduling problems with sequence dependent setup time on the basis of task scheduling on single respe...
Armin Wolf
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 days ago
Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
Abstract
Rainer Palm, Bourhane Kadmiry, Boyko Iliev, Dimite...