7961 search results - page 352 / 1593 » Input-Output Model Programs |
148
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
140
Voted
IRMA
2000
15 years 6 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
164
click to vote
WSC
1997
15 years 6 months ago
1997
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
118
click to vote
EOR
2006
15 years 4 months ago
2006
We consider multi-period portfolio selection problems for a decision maker with a specified utility function when the variance of security returns is described by a discrete time ...
133
Voted
TCSB
2010
15 years 3 months ago
2010
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...