3812 search results - page 124 / 763 » Combinations of TRAP Based Systems |
172
click to vote
KI
2009
Springer
15 years 12 months ago
2009
Springer
Today’s complex production systems allow to simultaneously build different products following individual production plans. Such plans may fail due to component faults or unfores...
169
click to vote
APN
2008
Springer
15 years 7 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
177
click to vote
WSC
2000
15 years 6 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
162
click to vote
SOFSEM
2010
Springer
16 years 2 months ago
2010
Springer
We introduce a model of automaton for picture language recognition which is based on tiles and is called Wang automaton, since its description relies on the notation of Wang system...
166
click to vote
COMPSAC
2008
IEEE
15 years 12 months ago
2008
IEEE
Given the increasing dependence of our societies on information systems, the overall security of these systems should be measured and improved. Existing work generally focuses on ...