Sciweavers

2500 search results - page 310 / 500
» Specifying Behavior in C
Sort
View
ITC
1996
IEEE
96views Hardware» more  ITC 1996»
15 years 8 months ago
Analysis and Detection of Timing Failures in an Experimental Test Chip
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...
Piero Franco, Siyad C. Ma, Jonathan Chang, Yi-Chin...
131
Voted
ACSAC
2004
IEEE
15 years 7 months ago
Designing Good Deceptions in Defense of Information Systems
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...
Neil C. Rowe
AINA
2004
IEEE
15 years 7 months ago
A Mathematical Model for Analyzing the Proxy Bidding Method for Mobile Agent-Based Auction Services
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 ...
Jie Zhang, Henry C. B. Chan
FASE
2000
Springer
15 years 7 months ago
From Play-In Scenarios to Code: An Achievable Dream
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...
David Harel
ISSTA
1991
ACM
15 years 7 months ago
Dynamic Slicing in the Presence of Unconstrained Pointers
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...
Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spa...