2272 search results - page 89 / 455 » Validity Invariants and Effects |
SAC
2009
ACM
14 years 3 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— In wireless communications, shadow fading can cause at least 6 dB power loss for 10% of the time [1]. Early detection of shadow fading plays an important part in facilitating t...
IEEEARES
2010
IEEE
14 years 1 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
ECCV
2006
Springer
14 years 19 days ago
2006
Springer
The formulation of trace quotient is shared by many computer vision problems; however, it was conventionally approximated by an essentially different formulation of quotient trace,...
ESOP
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...