6020 search results - page 531 / 1204 » A New Approach to Model Counting |
206
click to vote
ECUMN
2007
Springer
16 years 1 months ago
2007
Springer
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
187
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
209
click to vote
ADC
2004
Springer
16 years 15 days ago
2004
Springer
The development of new web services by composition of existing services is becoming an extensive approach. This has resulted in transactions that span in multiple web services. Th...
160
click to vote
ISMIR
2004
Springer
16 years 13 days ago
2004
Springer
We motivate the problem of music recommendation based solely on acoustics from groups of related songs or ‘song sets’. We propose four solutions which can be used with any aco...
184
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a novel approach to use test stimuli generated by digital components of a mixed-signal circuit for testing its analog components. A wavelet transform is ...