3342 search results - page 345 / 669 » Automating Abstract Interpretation |
127
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
143
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
145
click to vote
HAIS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper introduces an approximate fuzzy representation to FuzzyUCS, a Michigan-style Learning Fuzzy-Classifier System that evolves linguistic fuzzy rules, and studies ...
131
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...