4307 search results - page 238 / 862 » Dynamic Spyware Analysis |
106
click to vote
ASC
2008
15 years 25 days ago
2008
: Discovering interesting patterns or substructures in data streams is an important challenge in data mining. Clustering algorithms are very often applied to identify single substr...
113
click to vote
JANCL
2007
15 years 18 days ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
117
Voted
JCS
2007
15 years 18 days ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
125
Voted
BMCBI
2010
14 years 11 months ago
2010
Background: Large microarray datasets have enabled gene regulation to be studied through coexpression analysis. While numerous methods have been developed for identifying differen...
94
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...