15644 search results - page 266 / 3129 » Brittle System Analysis |
163
click to vote
ACTA
2005
15 years 6 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
165
click to vote
VALUETOOLS
2006
ACM
16 years 18 days ago
2006
ACM
In this paper we consider a general class of single-server multiqueue systems in which the stability of any single queue can be essentially determined by the queue’s arrival rat...
