3608 search results - page 241 / 722 » computer 2011 |
154
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
185
Voted
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
199
click to vote
IEEESP
2011
14 years 8 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
281
click to vote
ISMM
2011
Springer
14 years 7 months ago
2011
Springer
We study hierarchical segmentations that are optimal in the sense of minimal spanning forests of the original image. We introduce a region-merging operation called uprooting, and w...
NAR
2011
14 years 7 months ago
2011