3765 search results - page 139 / 753 » Formal Methods for Systems Engineering Behavior Models |
121
Voted
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
124
click to vote
AAAI
2007
15 years 5 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
134
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
106
Voted
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
112
Voted
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...