533 search results - page 27 / 107 » Verification of Distributed Firewalls |
CAV
2007
Springer
14 years 2 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
SPAA
2004
ACM
14 years 3 months ago
2004
ACM
While lower supply voltage is effective for energy reduction, it suffers performance loss. To mitigate the loss, we propose to execute only the part, which does not have any influ...
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
CVPR
2004
IEEE
15 years 1 days ago
2004
IEEE
Motivated by the success of parts based representations in face detection we have attempted to address some of the problems associated with applying such a philosophy to the task ...
ICDAR
2009
IEEE
13 years 7 months ago
2009
IEEE
Features representing information about pressure distribution from a static image of a handwritten signature are analyzed for an offline verification system. From gray-scale image...