622 search results - page 104 / 125 » Web Testing for Reliability Improvement |
BMCBI
2011
13 years 4 months ago
2011
Background: Most predictive methods currently available for the identification of protein secretion mechanisms have focused on classically secreted proteins. In fact, only two met...
CVPR
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we present a systematic framework for recognizing realistic actions from videos “in the wild.” Such unconstrained videos are abundant in personal collections as...
PLDI
2009
ACM
14 years 10 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
ACSW
2006
13 years 11 months ago
2006
Current IEEE 802.11 wireless networks are vulnerable to session hijacking attacks as the existing standards fail to address the lack of authentication of management frames and net...
DAGSTUHL
2006
13 years 11 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...