2419 search results - page 406 / 484 » A Formal Approach to Software Testing |
122
Voted
COMPSEC
2010
15 years 27 days 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...
125
Voted
SCIENTOMETRICS
2010
14 years 9 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 ...
93
Voted
ICASSP
2011
IEEE
2011
IEEE
Efficient transform coding of two-channel audio signals by means of complex-valued stereo prediction
14 years 6 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...
139
Voted
JMLR
2012
13 years 5 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 ...
210
Voted
ASPLOS
2009
ACM
16 years 3 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,...