Sciweavers

11168 search results - page 171 / 2234
» Abstract State Processes
Sort
View
ISESE
2002
IEEE
15 years 10 months ago
Verification and Validation in Industry -- A Qualitative Survey on the State of Practice
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...
Carina Andersson, Per Runeson
SIAMADS
2010
63views more  SIAMADS 2010»
14 years 12 months ago
Time Integration and Steady-State Continuation for 2d Lubrication Equations
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
Philippe Beltrame, Uwe Thiele
AIPS
1998
15 years 6 months ago
Solving Stochastic Planning Problems with Large State and Action Spaces
Planning methods for deterministic planning problems traditionally exploit factored representations to encode the dynamics of problems in terms of a set of parameters, e.g., the l...
Thomas Dean, Robert Givan, Kee-Eung Kim
WSC
1998
15 years 6 months ago
Simulation Modeling at Multiple Levels of Abstraction
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
Perakath C. Benjamin, Madhav Erraguntla, Dursun De...
AUTOMATICA
2002
83views more  AUTOMATICA 2002»
15 years 5 months ago
A time aggregation approach to Markov decision processes
We propose a time aggregation approach for the solution of in
Xi-Ren Cao, Zhiyuan Ren, Shalabh Bhatnagar, Michae...