4485 search results - page 532 / 897 » Equivalences on Observable Processes |
154
Voted
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...
165
click to vote
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
217
click to vote
CVPR
2005
IEEE
16 years 11 days ago
2005
IEEE
The paper proposes a method to keep the tracker robust to background clutters by online selecting discriminative features from a large feature space. Furthermore, the feature sele...
165
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
195
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper focuses on agent-based approach to study the relationship between the individual behavior of participants and the overall development of a virtual community, to help pe...