1078 search results - page 179 / 216 » Modelling and Verifying of e-Commerce Systems |
102
click to vote
RA
2003
15 years 3 months ago
2003
In this paper, we describe a parallel solution scheme of inverse dynamics, and its application to flexible manipulators where elastic deformation and vibration normally occur in c...
101
click to vote
HF
2002
15 years 1 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
132
click to vote
AUTOMATICA
2010
15 years 8 days ago
2010
When a phenomenon is described by a parametric model and multiple datasets are available, a key problem in statistics is to discover which datasets are characterized by the same p...
128
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Due to the limitation of radio spectrum resource and fast growing of wireless applications, careful channel allocation is highly needed to mitigate the performance degradation o...
123
click to vote
WSC
2000
15 years 3 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...