Sciweavers

190 search results - page 8 / 38
» Aspect-Oriented Programming in BETA Using the Fragment Syste...
Sort
View
SIGOPSE
2004
ACM
14 years 25 days ago
Using AOP to develop architectural-neutral operating system components
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
Olaf Spinczyk, Daniel Lohmann
ICSEA
2006
IEEE
14 years 1 months ago
Enforcing Interaction Properties in AOSD-Enabled Systems
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
Constantin Serban, Shmuel S. Tyszberowicz
ECOOP
2004
Springer
14 years 24 days ago
Using Aspects to Make Adaptive Object-Models Adaptable
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E...
CORR
2004
Springer
123views Education» more  CORR 2004»
13 years 7 months ago
Light types for polynomial time computation in lambda-calculus
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
Patrick Baillot, Kazushige Terui
ICECCS
2005
IEEE
91views Hardware» more  ICECCS 2005»
14 years 1 months ago
Extending SOFL Features for AOP Modeling
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
Yao Shen, Haopeng Chen