2272 search results - page 186 / 455 » Validity Invariants and Effects |
170
click to vote
DATE
2009
IEEE
16 years 25 days 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...
181
click to vote
KBSE
2009
IEEE
16 years 24 days 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...
172
click to vote
ICST
2008
IEEE
16 years 15 days 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...
133
Voted
CCS
2007
ACM
16 years 8 days 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...
151
click to vote
CEAS
2007
Springer
16 years 8 days 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...