Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

54

SIGIR
2010
ACM

favoriteEmaildiscussreport

131views Information Technology» more SIGIR 2010»

Aspect presence verification conditional on other aspects

15 years 1 months ago

Aspect presence verification conditional on other aspects

Download ir.dcs.gla.ac.uk

Dmitri Roussinov

Real-time Traffic

Information Management | SIGIR 2010 |

claim paper

Related Content

» A Framework for Analyzing Composition of Security Aspects

» Can we refactor conditional compilation into aspects

» Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

» Probabilistic and Nondeterministic Aspects of Anonymity

» Exceptions and aspects the devil is in the details

» A Framework for Verification and Debugging of Resource Usage Properties Resource Usage Ver...

» Explaining Verification Conditions

» Verification of CRWL Programs with Rewriting Logic

» SCoPE an AspectJ compiler for supporting userdefined analysisbased pointcuts

Post Info
More Details (n/a)

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2010
Where	SIGIR
Authors	Dmitri Roussinov

Comments (0)