2492 search results - page 256 / 499 » On the General Signature Trees |
162
click to vote
EPIA
2005
Springer
15 years 11 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
157
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Web-based third-party architectures for data publishing are today receiving growing attention, due to their scalability and the ability to efficiently manage large numbers of use...
162
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
179
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
With the continuous evolution of the types of attacks against computer networks, traditional intrusion detection systems, based on pattern matching and static signatures, are incr...
151
Voted
SACMAT
2004
ACM
15 years 11 months ago
2004
ACM
We propose role-based cascaded delegation, a model for delegation of authority in decentralized trust management systems. We show that role-based cascaded delegation combines the ...