1209 search results - page 180 / 242 » On the Resilience of Classes to Change |
APCSAC
2004
IEEE
14 years 21 days ago
2004
IEEE
We examine secure computing paradigms to identify any new architectural challenges for future general-purpose processors. Some essential security functions can be provided by diffe...
AMAST
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
APNOMS
2006
Springer
14 years 21 days ago
2006
Springer
In this paper, we realize a DiffServ-based Multicast Router (DSMRouter) to provide the QoS adjustment for multicasting video transmission in the DiffServ network. To reach the QoS ...
CVPR
2004
IEEE
14 years 21 days ago
2004
IEEE
We introduce a new class of distinguished regions based on detecting the most salient convex local arrangements of contours in the image. The regions are used in a similar way to ...
CC
2006
Springer
14 years 21 days ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...