6960 search results - page 716 / 1392 » Continuity Analysis of Programs |
181
Voted
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
213
Voted
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
226
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
196
Voted
CCS
2008
ACM
15 years 9 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
201
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Traditional HTML interfaces for input to and output from Bioinformatics analysis on the Web are highly variable in style, content and data formats. Combining multiple ...