10412 search results - page 1714 / 2083 » The efficiency of algorithms - misconceptions |
280
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Program monitoring is a well-established and efficient approach to security policy enforcement. An implementation of program monitoring that is particularly appealing for...
329
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...
180
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
In distributed systems users need to share sensitive objects with others based on the recipients' ability to satisfy a policy. Attribute-Based Encryption (ABE) is a new parad...
194
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
Denial of service (DoS) attacks are arguably one of the most cumbersome problems in the Internet. This paper presents a distributed information system (over a set of completely co...
153
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...