3547 search results - page 635 / 710 » Pseudo-Exhaustive Testing for Software |
175
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
Mobile phones can provide a number of benefits to older people. However, most mobile phone designs and form factors are targeted at younger people and middle-aged adults. To infor...
172
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
151
click to vote
EXPCS
2007
15 years 10 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
155
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- In this paper, we propose an H.264/AVC compliant bitdepth scalable coding solution. Our codec is capable of presenting an 8-bit AVC main profile or high profile base lay...
173
click to vote
ADG
2006
Springer
15 years 10 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...