Sciweavers

3238 search results - page 505 / 648
» Multi-return function call
Sort
View
SIGPLAN
2008
14 years 10 months ago
Verified enforcement of stateful information release policies
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
Nikhil Swamy, Michael Hicks
INFSOF
2007
101views more  INFSOF 2007»
14 years 10 months ago
Clustering large software systems at multiple layers
Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runt...
Bill Andreopoulos, Aijun An, Vassilios Tzerpos, Xi...
TCS
2008
14 years 10 months ago
Generalized approximate counting revisited
A large class of q-distributions is defined on the stochastic model of Bernoulli trials in which the probability of success (=advancing to the next level) depends geometrically on...
Guy Louchard, Helmut Prodinger
TCS
2008
14 years 10 months ago
Itemset frequency satisfiability: Complexity and axiomatization
Computing frequent itemsets is one of the most prominent problems in data mining. We study the following related problem, called FREQSAT, in depth: given some itemset-interval pai...
Toon Calders
TFS
2008
112views more  TFS 2008»
14 years 10 months ago
Gradual Numbers and Their Application to Fuzzy Interval Analysis
Abstract-- We introduce a new way of looking at fuzzy intervals. Instead of considering them as fuzzy sets, we see them as crisp sets of entities we call gradual (real) numbers. Th...
Jérôme Fortin, Didier Dubois, H&eacut...