2419 search results - page 406 / 484 » A Formal Approach to Software Testing |
174
click to vote
COMPSEC
2010
15 years 5 months ago
2010
In this paper we address the problem of reducing the role mining complexity in RBAC systems. To this aim, we propose a three steps methodology: first, we associate a weight to rol...
185
click to vote
SCIENTOMETRICS
2010
15 years 1 months ago
2010
This paper quantitatively explores the social and socio-semantic patterns of constitution of academic collaboration teams. To this end, we broadly underline two critical features ...
142
click to vote
ICASSP
2011
IEEE
2011
IEEE
Efficient transform coding of two-channel audio signals by means of complex-valued stereo prediction
14 years 10 months ago
Traditional MDCT-based perceptual audio coding schemes employ mid/side and intensity stereo techniques to allow efficient joint coding of the two channels of a stereophonic signal...
196
click to vote
JMLR
2012
13 years 9 months ago
2012
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
275
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...