2272 search results - page 186 / 455 » Validity Invariants and Effects |
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
— As clock frequencies exceed giga-Hertz, the extra power loss due to conductor surface roughness in interconnects and packagings is more evident and thus demands a proper accou...
KBSE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
CEAS
2007
Springer
14 years 4 months ago
2007
Springer
Email has become an integral and sometimes overwhelming part of users’ personal and professional lives. In this paper, we measure the flow and frequency of user email toward th...