Sciweavers

13987 search results - page 425 / 2798
» The Two Guards Problem
Sort
View
174
Voted
USENIX
1990
15 years 8 months ago
The COPS Security Checker System
In the past several years, there have been a large number of published works that have graphically described a wide variety of security problems particular to Unix. Without fail, ...
Daniel Farmer, Eugene H. Spafford
FSTTCS
2008
Springer
15 years 8 months ago
Analyzing Asynchronous Programs with Preemption
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Toui...
FSS
2008
89views more  FSS 2008»
15 years 7 months ago
On the equivalence of some approaches to the OWA operator and RIM quantifier determination
The ordered weighted averaging (OWA) operator is a widely used aggregation method, and its determination is usually a prerequisite step in many related applications. The regular i...
Xinwang Liu, Hongwei Lou
COMBINATORICS
2007
112views more  COMBINATORICS 2007»
15 years 7 months ago
Reversal Distance for Strings with Duplicates: Linear Time Approximation using Hitting Set
In the last decade there has been an ongoing interest in string comparison problems; to a large extend the interest was stimulated by genome rearrangement problems in computationa...
Petr Kolman, Tomasz Walen
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 6 months ago
Model Selection Through Sparse Maximum Likelihood Estimation
We consider the problem of estimating the parameters of a Gaussian or binary distribution in such a way that the resulting undirected graphical model is sparse. Our approach is to...
Onureena Banerjee, Laurent El Ghaoui, Alexandre d'...