3432 search results - page 216 / 687 » Model Development in the UML-based Specification Environment... |
173
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
185
click to vote
AAAI
2008
15 years 8 months ago
2008
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...
153
Voted
WSC
2000
15 years 7 months ago
2000
This paper will present a case study on the use of simulation to develop and implement an assembly line for the assembly and test of customer located telephony equipment. The simu...
206
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
171
click to vote
CGI
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes an approach to construct interactive virtual environments, which are suitable for the development of artificial virtual human life simulations. Our main goal ...