8132 search results - page 1422 / 1627 » Dependability, Abstraction, and Programming |
216
click to vote
AOSD
2003
ACM
16 years 14 days 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...
201
click to vote
ADBIS
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
224
click to vote
ATAL
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
203
click to vote
BIRTHDAY
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
179
click to vote
CP
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...