1397 search results - page 150 / 280 » On the Need for Practical Formal Methods |
134
click to vote
WSC
1998
15 years 5 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
137
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper proposes a method to construct an adaptive agent that is universal with respect to a given class of experts, where each expert is designed specifically for a particular...
139
click to vote
CI
2002
15 years 4 months ago
2002
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time. Such an ability...
119
click to vote
DSOM
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
125
click to vote
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...