2673 search results - page 184 / 535 » Guided Static Analysis |
111
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
This paper presents an approach to statically retrofit legacy servers with mechanisms for authorization policy enforcement. The approach is based upon the observation that securit...
133
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, by considering the multiple spatial-temporal characteristic of visual perception system, we propose a novel home video attention analysis method. Firstly, each fram...
133
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we analyze indeterminate contact forces in robotic grasping and contact tasks. Previous studies by Omata and Nagata showed that there is a constraint on static f...
151
click to vote
CAMP
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper presents an architecture for cognitive analysis of streaming video, in which a new module can easily be plugged in, to add to or even compete with existing functiona...
105
click to vote
ANSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Crosstalk noise evaluation consists in analysing the effect of the transition of a signal - called aggressor - on its neighbours - called victims. This evaluation is based on a mo...