2139 search results - page 289 / 428 » Modeling Aspect-Oriented Compositions |
175
Voted
ASIACRYPT
2011
Springer
14 years 4 months ago
2011
Springer
Differential Privacy (DP) has emerged as a formal, flexible framework for privacy protection, with a guarantee that is agnostic to auxiliary information and that admits simple ru...
143
click to vote
AOSD
2012
ACM
14 years 10 days ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
144
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Rapidly evolving businesses generate massive amounts of time-stamped data sequences and defy a demand for massively multivariate time series analysis. For such data the predict...
140
click to vote
UML
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
147
Voted
SSS
2010
Springer
15 years 2 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...