2413 search results - page 155 / 483 » Models for universal usability |
107
click to vote
WSC
2000
15 years 5 months ago
2000
Responses to the featured paper are provided by four authors who represent different elements of the simulation research community: industry, private research laboratory, and univ...
137
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
109
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We discuss potential market mechanisms for the GRID. A complete dynamical model of a GRID market is defined with three types of agents. Providers, middlemen and users exchange uni...
146
click to vote
TIT
1998
15 years 3 months ago
1998
—We review the principles of Minimum Description Length and Stochastic Complexity as used in data compression and statistical modeling. Stochastic complexity is formulated as the...
118
Voted
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...