Sciweavers

3688 search results - page 157 / 738
» Static analysis of aspects
Sort
View
MOBIS
2008
15 years 7 months ago
Towards Simulation-supported Enterprise Architecture Management
Abstract: Enterprise architecture management is based on a holistic view on the enterprise addressing business and IT aspects in an integrated manner. EA management is a process to...
Sabine Buckl, Florian Matthes, Wolfgang Renz, Chri...
131
Voted
IADIS
2004
15 years 7 months ago
OPTIM: An Open Platform for Teaching Interactively with Multimedia
In this paper, we propose an open framework for teachers and lecturers in science, to help them write their pedagogical documents with both static textual parts, and interactive a...
Henri Delebecque
FMOODS
2006
15 years 7 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 7 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
AOSD
2007
ACM
15 years 10 months ago
Performance improvement for persistent systems by AOP
Efficient data retrieval from databases is a significant issue of the design of persistent systems. We propose an aspect oriented persistent system named AspectualStore. Aspectual...
Yasuhiro Aoki, Shigeru Chiba