Sciweavers

2482 search results - page 133 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
PEPM
2007
ACM
14 years 2 months ago
Behavioral similarity matching using concrete source code templates in logic queries
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
Coen De Roover, Theo D'Hondt, Johan Brichau, Carlo...
ICISS
2009
Springer
14 years 2 months ago
A Framework for Behavior-Based Malware Analysis in the Cloud
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
Lorenzo Martignoni, Roberto Paleari, Danilo Brusch...
DSL
2009
13 years 6 months ago
A Haskell Hosted DSL for Writing Transformation Systems
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
Andy Gill
ICDCS
1998
IEEE
14 years 16 days ago
Flexible Exception Handling in the OPERA Process Support System
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
Claus Hagen, Gustavo Alonso
ICIAP
1995
ACM
13 years 11 months ago
PhotoPix: an Object-Oriented Framework for Digital Image Processing Systems
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...
Alisson Augusto Souza Sol, Arnaldo de Albuquerque ...