2912 search results - page 398 / 583 » Logistic Model Trees |
150
click to vote
AOSD
2003
ACM
15 years 9 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...
127
Voted
BIRTHDAY
2003
Springer
15 years 9 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...
111
click to vote
ISCC
2002
IEEE
15 years 9 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...
149
click to vote
NDSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
180
click to vote
WMCSA
2002
IEEE
15 years 9 months ago
2002
IEEE
Many “ubiquitous computing” applications need a constant flow of information about their environment to be able to adapt to their changing context. To support these “contex...