Sciweavers

899 search results - page 144 / 180
» Implementing declarative overlays
Sort
View
SOCO
2005
Springer
14 years 1 months ago
Stateful Aspects in JAsCo
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
Wim Vanderperren, Davy Suvée, María ...
ECOOP
2004
Springer
14 years 1 months ago
Typestates for Objects
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
Robert DeLine, Manuel Fähndrich
VLDB
2004
ACM
106views Database» more  VLDB 2004»
14 years 1 months ago
Vision Paper: Enabling Privacy for the Paranoids
P3P [23, 24] is a set of standards that allow corporations to declare their privacy policies. Hippocratic Databases [6] have been proposed to implement such policies within a corp...
Gagan Aggarwal, Mayank Bawa, Prasanna Ganesan, Hec...
CCGRID
2003
IEEE
14 years 1 months ago
An Ontology for Scientific Information in a Grid Environment: the Earth System Grid
In the emerging world of Grid Computing, shared computational, data, other distributed resources are becoming available to enable scientific advancement through collaborative rese...
Line Pouchard, Luca Cinquini, Bob Drach, Don Middl...
AOSD
2003
ACM
14 years 1 months ago
A case for statically executable advice: checking the law of demeter with AspectJ
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...
Karl J. Lieberherr, David H. Lorenz, Pengcheng Wu