Sciweavers

1054 search results - page 111 / 211
» Guarded Expressions in Practice
Sort
View
ENTCS
2008
96views more  ENTCS 2008»
15 years 6 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
CSL
2006
Springer
15 years 6 months ago
Robust estimation, interpretation and assessment of likelihood ratios in forensic speaker recognition
In this contribution, the Bayesian framework for interpretation of evidence when applied to forensic speaker recognition is introduced. Different aspects of the use of voice as ev...
Joaquin Gonzalez-Rodriguez, Andrzej Drygajlo, Dani...
CORR
2007
Springer
116views Education» more  CORR 2007»
15 years 6 months ago
On the Low-SNR Capacity of Phase-Shift Keying with Hard-Decision Detection
1 The low-SNR capacity of M-ary PSK transmission over both the additive white Gaussian noise (AWGN) and fading channels is analyzed when hard-decision detection is employed at the ...
Mustafa Cenk Gursoy
JHSN
2006
100views more  JHSN 2006»
15 years 6 months ago
Reconfiguring Role Based Access Control policies using risk semantics
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...
Benjamin Aziz, Simon N. Foley, John Herbert, Garre...
MANSCI
2008
75views more  MANSCI 2008»
15 years 6 months ago
Staffing Multiskill Call Centers via Linear Programming and Simulation
We study an iterative cutting-plane algorithm on an integer program, for minimizing the staffing costs of a multiskill call center subject to service-level requirements which are e...
Mehmet Tolga Çezik, Pierre L'Ecuyer