2413 search results - page 155 / 483 » Models for universal usability |
83
Voted
WSC
2000
15 years 2 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...
107
Voted
ENTCS
2006
15 years 20 days 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,...
84
Voted
CORR
2004
Springer
15 years 15 days 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...
109
click to vote
TIT
1998
15 years 9 days 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...
90
Voted
FASE
2010
Springer
15 years 7 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...