10072 search results - page 1701 / 2015 » Composition of Model Programs |
160
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
174
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
As computational learning agents move into domains that incur real costs (e.g., autonomous driving or financial investment), it will be necessary to learn good policies without n...
174
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
166
click to vote
RECOMB
2010
Springer
16 years 1 months ago
2010
Springer
Given molecular genetic data from diploid individuals that, at present, reproduce mostly or exclusively asexually without recombination, an important problem in evolutionary biolog...
186
click to vote
ASIAMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...