4209 search results - page 803 / 842 » Software Change and Evolution |
110
click to vote
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
128
click to vote
HPDC
2012
IEEE
13 years 3 days ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
126
click to vote
ICSE
2012
IEEE-ACM
13 years 3 days ago
2012
IEEE-ACM
—Integrated Development Environments (IDEs) have come to perform a wide variety of tasks on behalf of the programmer, refactoring being a classic example. These operations have u...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper details the results of a Face Authentication Test (FAT2004) [2] held in conjunction with the 17th International Conference on Pattern Recognition. The contest was held ...
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
We describe a method for producing a smooth, stabilized
video from the shaky input of a hand-held light field video camera—
specifically, a small camera array. Traditional stab...