2500 search results - page 310 / 500 » Specifying Behavior in C |
108
click to vote
ITC
1996
IEEE
15 years 8 months ago
1996
IEEE
A 25k gate Test Chip was designed and manufactured to evaluate different test methods for scan-designed circuits. The design of the chip, the experiment, and preliminary experimen...
131
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
159
click to vote
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
126
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
183
click to vote
ISSTA
1991
ACM
15 years 7 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...