Sciweavers

4463 search results - page 792 / 893
» computing 2000
Sort
View
104
Voted
WEBNET
2000
15 years 2 months ago
To Measure or not to measure: Why web usability is different from traditional usability
: Web usability is a common term used in discussions of WWW (World Wide Web). This is definitely important, as more and more web sites are frequently visited and have great impact ...
Charlotte Olsson
107
Voted
WOA
2000
15 years 2 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
114
Voted
WSC
2000
15 years 2 months ago
Teaching system modeling, simulation and validation
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
Jörg Desel
94
Voted
WSC
2000
15 years 2 months ago
Quasi-Monte Carlo methods in cash flow testing simulations
What actuaries call cash flow testing is a large-scale simulation pitting a company's current policy obligation against future earnings based on interest rates. While life co...
Michael G. Hilgers
101
Voted
WSC
2000
15 years 2 months ago
Improved decision processes through simultaneous simulation and time dilation
Simulation models are often not used to their full potential in the decision-making process. The default simulation strategy of simple serial replication of fixed length runs mean...
Paul Hyden, Lee Schruben