2211 search results - page 201 / 443 » Robustness of Model-Based Simulations |
150
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
131
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper, we develop, analyze and implement a congestion control scheme obtained in a noncooperative game framework where each user’s cost function is composed of a pric...
137
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
Hair-to-hair interaction is often ignored in human hair modeling, due to its computational and algorithmic complexity. In this paper, we present our experimental approach to simul...
128
click to vote
WSC
2008
15 years 6 months ago
2008
Demand forecast plays a critical role to determine capital investment for capacity planning. Given the involved uncertainties and long lead-time for capacity expansion, semiconduc...
141
Voted
JNW
2006
15 years 4 months ago
2006
Simulation is the most important and widely used method in the research of Mobile Ad hoc NETworks (MANET). The topology of MANET and the mobility of mobile nodes are the key factor...