Sciweavers

12272 search results - page 216 / 2455
» Experimental program analysis
Sort
View
SPC
2005
Springer
16 years 16 hour ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
IJNSEC
2006
96views more  IJNSEC 2006»
15 years 6 months ago
A Memory Symptom-based Virus Detection Approach
The widespread use of the Internet has caused computer security to become an important issue. Currently, antivirus software is the primary mechanism that prevents computers from t...
Hsien-Chou Liao, Yi-Hsiang Wang
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
16 years 21 days ago
Scalable estimation-of-distribution program evolution
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
Moshe Looks
POPL
2005
ACM
16 years 6 months ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann
SIGSOFT
2006
ACM
16 years 7 months ago
Exceptions and aspects: the devil is in the details
It is usually assumed that the implementation of exception handling can be better modularized by the use of aspectoriented programming (AOP). However, the trade-offs involved in u...
Alessandro Garcia, Cecília M. F. Rubira, Ed...