12084 search results - page 2259 / 2417 » Effect Systems with Subtyping |
131
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
109
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
129
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
137
Voted
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
128
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In the last decade, there has been an explosion of online commercial activity enabled by the World Wide Web. An electronic marketplace (e-market) provides an online method to perf...