2774 search results - page 457 / 555 » Query-Driven Program Testing |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
— A novel power attack resistant cryptosystem is presented in this paper. Security in digital computing and communication is becoming increasingly important. Design techniques th...
ECRTS
2005
IEEE
14 years 2 months ago
2005
IEEE
Low-level support of peripheral devices is one of the most demanding activities in a real-time operating system. In fact, the rapid development of new interface boards causes a tr...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
HAPTICS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes the last of three experiments that investigate relative motion between a surface and the fingertip (slip) as part of a larger program of research on “finger...
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...