2553 search results - page 348 / 511 » Modeling Trees with Hypertextures |
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
DASFAA
2003
IEEE
15 years 3 months ago
2003
IEEE
Approximate string matching on large DNA sequences data is very important in bioinformatics. Some studies have shown that suffix tree is an efficient data structure for approxim...
95
Voted
AOSD
2003
ACM
15 years 3 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
65
Voted
ISCC
2002
IEEE
15 years 3 months ago
2002
IEEE
We study the performance of reliable and unreliable allnode broadcast over ad-hoc networks that use contentionbased channel access. To obtain analytical results while preserving h...