4190 search results - page 101 / 838 » Type Class Directives |
130
click to vote
ENTCS
2006
15 years 2 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
131
Voted
ACISICIS
2007
IEEE
15 years 9 months ago
2007
IEEE
We present here some applications of the Minimum Message Length (MML) principle to spatially correlated data. Discrete valued Markov Random Fields are used to model spatial correl...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
—We propose a new teletraffic model for the calculation of link occupancy distribution and determine the call blocking probabilities and link utilization in a single-link multi-r...
103
Voted
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
106
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...