1456 search results - page 215 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
201
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
163
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
This paper provides a unique quantitative analysis of the social dynamics of three chat rooms in the Microsoft VChat graphical chat system. Survey and behavioral data were used to...
186
click to vote
FDL
2008
IEEE
16 years 25 days ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
179
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
158
click to vote
DATE
2007
IEEE
16 years 21 days ago
2007
IEEE
In highly power constrained sensor networks, harvesting energy from the environment makes prolonged or even perpetual execution feasible. In such energy harvesting systems, energy...