2413 search results - page 158 / 483 » Models for universal usability |
97
Voted
FPCA
1995
15 years 4 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
45
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
We analyse the prequential plug-in codes relative to one-parameter exponential families M. We show that if data are sampled i.i.d. from some distribution outside M, then the redund...
137
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
77
Voted
ISPW
2007
IEEE
15 years 7 months ago
2007
IEEE
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
110
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...