3605 search results - page 418 / 721 » System and simulation modeling using SysML |
133
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
110
click to vote
CAD
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
117
click to vote
JSAC
2006
15 years 4 months ago
2006
The symbol error probability (SEP) performance of time-hopping (TH) ultra-wideband (UWB) systems in the presence of multiuser interference (MUI) and timing jitter is considered wit...
145
click to vote
CONTEXT
1999
Springer
15 years 9 months ago
1999
Springer
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...
136
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...