4187 search results - page 818 / 838 » A Taxonomy of Model Transformation |
PLDI
2003
ACM
14 years 28 days ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
AGTIVE
2003
Springer
14 years 28 days ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
CTRSA
2003
Springer
14 years 28 days ago
2003
Springer
Exposure of secret keys seems to be inevitable, and may in practice represent the most likely point of failure in a cryptographic system. Recently, the notion of intrusion-resilien...
VISUALIZATION
2002
IEEE
14 years 18 days ago
2002
IEEE
We present a robust, noise-resistant criterion characterizing planelike skeletons in binary voxel objects. It is based on a distance map and the geodesic distance along the object...
SIGMOD
2010
ACM
14 years 15 days ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...