Sciweavers

1061 search results - page 104 / 213
» A general definition of malware
Sort
View
IGPL
2010
101views more  IGPL 2010»
15 years 4 months ago
Does collective rationality entail efficiency?
Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a nor...
Paul Weirich
IPL
2010
81views more  IPL 2010»
15 years 4 months ago
An alternative characterization of weak order dependence
Control dependence forms the basis for many program analyses, such as program slicing. Recent work on control dependence analysis has led to new definitions of dependence that cat...
Torben Amtoft, Kelly Androutsopoulos, David Clark,...
TOPLAS
2008
79views more  TOPLAS 2008»
15 years 4 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken
COMPSAC
2010
IEEE
15 years 4 months ago
Specifying Time-Sensitive Systems with TLA+
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
Hehua Zhang, Ming Gu, Xiaoyu Song
NAACL
2010
15 years 4 months ago
Convolution Kernels for Opinion Holder Extraction
Opinion holder extraction is one of the important subtasks in sentiment analysis. The effective detection of an opinion holder depends on the consideration of various cues on vari...
Michael Wiegand, Dietrich Klakow