1835 search results - page 129 / 367 » A Generic Framework for the Modeling of Contexts and its App... |
AOSD
2004
ACM
14 years 2 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
PPL
2008
13 years 8 months ago
2008
As the number of integrated IP cores in the current System-on-Chips (SoCs) keeps increasing, communication requirements among cores can not be sufficiently satisfied using either ...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
SC
2000
ACM
14 years 1 months ago
2000
ACM
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...