2650 search results - page 335 / 530 » Simulation and Control of Reactive Systems |
143
click to vote
FTDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Though causal order of message delivery simplifies the design and development of distributed applications, the overhead of enforcing it is not negligible. Causal order algorithm w...
144
click to vote
SPRINGSIM
2010
15 years 2 months ago
2010
—Data Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
178
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
130
Voted
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in a mathematical framework. In t...
122
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...