1061 search results - page 134 / 213 » A general definition of malware |
ICFP
2003
ACM
15 years 12 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
107
click to vote
MOBIHOC
2007
ACM
15 years 11 months ago
2007
ACM
Outlier detection has many important applications in sensor networks, e.g., abnormal event detection, animal behavior change, etc. It is a difficult problem since global informati...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
We are developing evaluation tools that help sustainable HCI researchers to contribute to the overall project of achieving sustainability. In this paper we argue for broadening su...