2800 search results - page 357 / 560 » Fibrational Control Structures |
128
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
—One of the grand challenges of self-reconfiguring modular robotics is the assembly of a functional system from thousands of components. However, to date, only systems comprised ...
122
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
148
Voted
OTM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a virtual teacher for the evaluation of students’ competencies. It aims to improve learning by making personalized suggestions on the learning materials. It ...
111
click to vote
RTS
2010
15 years 1 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
150
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...