2520 search results - page 351 / 504 » Model-checking behavioral programs |
116
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Malicious programs spy on users’ behavior and compromise their privacy. Even software from reputable vendors, such as Google Desktop and Sony DRM media player, may perform undes...
110
click to vote
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
In order for precise evaluation of MANET applications, more realistic mobility models are needed in wireless network simulations. In this paper, we focus on the behavior of pedest...
108
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
129
click to vote
IEEEPACT
2000
IEEE
15 years 6 months ago
2000
IEEE
Dynamic Optimization is an umbrella term that refers to any optimization of software that is performed after the initial compile time. It is a complementary optimization opportuni...
137
click to vote
AI50
2006
15 years 6 months ago
2006
I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbolgrounding and non-symbolic processing for intelligent beha...