1078 search results - page 141 / 216 » Modelling and Verifying of e-Commerce Systems |
135
click to vote
AMC
2006
15 years 4 months ago
2006
ct 9 A new discrete-velocity method for the numerical solution of large eddy simulation (LES) is presented based on relax10 ation type formulation. The discrete-velocity equations ...
139
Voted
SIAMSC
2008
15 years 3 months ago
2008
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
125
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
110
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A challenge for virtual reality (VR) applications is to increase the realism of an observer’s visual experience. For this purpose the variation of the blur an observer ...
138
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...