1128 search results - page 96 / 226 » Little Engines of Proof |
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Model-Driven Engineering (MDE) has become an important development framework for many large-scale software. Previous research has reported that as in traditional code-based develo...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Extensive work has been devoted to private information retrieval and privacy preserving data mining. To protect user privacy from search engines, however, most current a...
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
Source code obfuscation is a protection mechanism widely used to limit the possibility of malicious reverse engineering or attack activities on a software system. Although several...
104
click to vote
IWPSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a method to detect and visualize evolution patterns in C++ source code. Our method consists of three steps. First, we extract an annotated syntax tree (AST) from each v...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...