4307 search results - page 310 / 862 » Dynamic Spyware Analysis |
124
Voted
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
127
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
124
click to vote
ICALT
2010
IEEE
15 years 3 months ago
2010
IEEE
— This paper summarises the analyses of participant interaction within the Twitter microblogging environment. The study employs longitudinal probabilistic social network analysis...
124
Voted
MAGS
2007
15 years 3 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
139
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper describes a stochastic static analysis of link angle driven by actuator bundles. We first demonstrate a movement of a link driven by actuator bundles in terms of hi...