1100 search results - page 31 / 220 » Instrumenting annotated programs |
98
Voted
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
131
Voted
OSDI
2006
ACM
16 years 1 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
94
Voted
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
116
Voted
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
It is difficult for a student to learn how to program and to build an understanding of the rationale which underpins the development of a program’s componentparts. Conventional ...
134
Voted
BMCBI
2008
15 years 1 months ago
2008
Background: Visualization of sequence annotation is a common feature in many bioinformatics tools. For many applications it is desirable to restrict the display of such annotation...