647 search results - page 77 / 130 » Regular Symmetry Patterns |
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...
AIMS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We discuss an approach to reducing the number of events accepted by anomaly detection systems, based on alternative schemes for interest-ranking. The basic assumption is ...
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
IWCM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Motion estimation is essential in a variety of image processing and computer vision tasks, like video coding, tracking, directional filtering and denoising, scene analys...
CSMR
1998
IEEE
14 years 1 months ago
1998
IEEE
While it is widely agreed that architectural simplicity is a key factor to the success of large software systems, it is not obvious how to measure architectural complexity. Our ap...