10072 search results - page 1385 / 2015 » Composition of Model Programs |
158
click to vote
WSC
1998
15 years 8 months ago
1998
In this work we report the results of a discrete time simulation model that we developed for an equipment rental business to study the impact of business decisions. The whole tool...
166
click to vote
WSC
2000
15 years 8 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
201
Voted
UAI
1997
15 years 8 months ago
1997
Robust Bayesian inference is the calculation of posterior probability bounds given perturbations in a probabilistic model. This paper focuses on perturbations that can be expresse...
234
click to vote
DBSEC
1996
15 years 8 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
223
click to vote
LFP
1990
15 years 8 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...