1880 search results - page 101 / 376 » A Static Analysis for Beta-Binders |
120
click to vote
CIKM
2011
Springer
13 years 11 months ago
2011
Springer
With hundreds of millions of participants, social media services have become commonplace. Unlike a traditional social network service, a microblogging network like Twitter is a hy...
RAID
2005
Springer
15 years 5 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
100
click to vote
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...
RV
2010
Springer
14 years 10 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
TROB
2010
14 years 6 months ago
2010
A new approach to a variable stiffness actuator with tunable resonant frequencies is presented in this paper. Variable stiffness actuators have become increasingly important for m...