631 search results - page 4 / 127 » Why Model |
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
HICSS
2009
IEEE
14 years 1 months ago
2009
IEEE
WSC
2007
14 years 4 days ago
2007
This paper provides simulation practitioners and consumers with a grounding in how discrete-event simulation software works. Topics include discreteevent systems; entities, resour...
WSC
1994
13 years 11 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
FCS
2008
2008
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
13 years 11 months ago
Abstract We define a finitary model of firstorder Peano Arithmetic in which quantification is interpreted constructively in terms of Turingcomputability, and show that it is incons...