1760 search results - page 119 / 352 » Program Analysis Using Weighted Pushdown Systems |
142
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
115
click to vote
CSREASAM
2006
15 years 2 months ago
2006
: The research work in this paper shows that the currently available stenographic methods might be quite easily detected by using sufficiently careful analysis of the transmitted d...
112
click to vote
LCN
2003
IEEE
15 years 6 months ago
2003
IEEE
Assured Service has been proposed within the Differentiated Services (DiffServ) model to provide relative service differentiation by attempting to allocate bandwidth to different ...
144
Voted
ICCV
2011
IEEE
14 years 20 days ago
2011
IEEE
This paper addresses the challenge of recognizing behavior of groups of individuals in unconstraint surveillance environments. As opposed to approaches that rely on agglomerative ...
135
click to vote
BMCBI
2005
15 years 16 days ago
2005
Background -: Sequencing of EST and BAC end datasets is no longer limited to large research groups. Drops in per-base pricing have made high throughput sequencing accessible to in...