1209 search results - page 180 / 242 » On the Resilience of Classes to Change |
119
Voted
APCSAC
2004
IEEE
15 years 4 months 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...
97
Voted
AMAST
2006
Springer
15 years 4 months 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...
82
Voted
APNOMS
2006
Springer
15 years 4 months 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 ...
122
click to vote
CVPR
2004
IEEE
15 years 4 months 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 ...
110
click to vote
CC
2006
Springer
15 years 4 months 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...