4250 search results - page 329 / 850 » Understanding the Requirements on Modelling Techniques |
177
click to vote
TOG
2002
15 years 6 months ago
2002
A new method for the visualization of two-dimensional fluid flow is presented. The method is based on the advection and decay of dye. These processes are simulated by defining eac...
188
click to vote
KDD
2004
ACM
16 years 4 days ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
156
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
169
click to vote
ADAEUROPE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
163
Voted
WSC
2000
15 years 8 months ago
2000
Parallel discrete event simulation (PDES) techniques have not yet made a substantial impact on the network simulation community because of the need to recast the simulation models...