163 search results - page 10 / 33 » Executable HybridUML and Its Application to Train Control Sy... |
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
134
Voted
ICRA
2010
IEEE
15 years 11 days ago
2010
IEEE
— Humanoid robots are expected to share human environments in the future and it is important to ensure safety of their operation. A serious threat to safety is the fall of a huma...
110
Voted
AAAI
1998
15 years 3 months ago
1998
AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditiona...
107
click to vote
MICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
The Dynamic Execution Layer Interface (DELI) offers the following unique capability: it provides fine-grain control over the execution of programs, by allowing its clients to obse...
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...