Sciweavers

3435 search results - page 306 / 687
» Aspect Model Unweaving
Sort
View
CCS
2006
ACM
15 years 10 months ago
On the modeling and analysis of obligations
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
Keith Irwin, Ting Yu, William H. Winsborough
FATES
2006
Springer
15 years 10 months ago
Model-Based Testing of Thin-Client Web Applications
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Acht...
CGI
2001
IEEE
15 years 10 months ago
Modeling and Rendering of Various Natural Phenomena Consisting of Particles
The simulation of various natural phenomena is one of the important research fields in computer graphics. In particular, aspects such as sky, clouds, water, fire, trees, smoke, te...
Tomoyuki Nishita, Yoshinori Dobashi
PUK
2003
15 years 8 months ago
Modeling in an Architectural Variability Description Language
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...
CL
2006
Springer
15 years 6 months ago
Inter-language reflection: A conceptual model and its implementation
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
Kris Gybels, Roel Wuyts, Stéphane Ducasse, ...