12084 search results - page 218 / 2417 » Effect Systems with Subtyping |
199
click to vote
BIOINFORMATICS
2005
15 years 7 months ago
2005
Motivation: direct bearing whose expres Sorlie et al., 2 gene sets is a diseases (Lossos et al., 2004; Miklos and Maleszka, 2004), and the variables that could account questions i...
186
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
200
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
222
click to vote
ICMAS
2000
2000
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
15 years 8 months ago
A critical challenge to creating effective open multi-agent systems is allowing them to operate effectively in the face of potential failures. In this paper we present an experimen...
194
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...