Sciweavers

3342 search results - page 140 / 669
» Automating Abstract Interpretation
Sort
View
COMPSEC
2008
113views more  COMPSEC 2008»
14 years 11 months ago
Automated containment of rootkits attacks
Abstract-- Rootkit attacks are a serious threat to computer systems. Packaged with other malware such as worms, viruses and spyware, rootkits pose a more potent threat than ever be...
Arati Baliga, Liviu Iftode, Xiaoxin Chen
CONCURRENCY
2002
107views more  CONCURRENCY 2002»
14 years 11 months ago
A callgraph-based search strategy for automated performance diagnosis
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
Harold W. Cain, Barton P. Miller, Brian J. N. Wyli...
ISOLA
2010
Springer
14 years 9 months ago
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
Antonia Bertolino, Paola Inverardi, Valérie...
MICCAI
2010
Springer
14 years 9 months ago
A Fully Automated Approach to Segmentation of Irregularly Shaped Cellular Structures in EM Images
Abstract. While there has been substantial progress in segmenting natural images, state-of-the-art methods that perform well in such tasks unfortunately tend to underperform when c...
Aurélien Lucchi, Kevin Smith, Radhakrishna ...
SG
2010
Springer
14 years 9 months ago
Automated Hedcut Illustration Using Isophotes
Abstract. In this work, we present an automated system for creating hedcut illustrations, portraits rendered using small image feature aligned dots (stipples). We utilize edge dete...
SungYe Kim, Insoo Woo, Ross Maciejewski, David S. ...