Sciweavers

3688 search results - page 126 / 738
» Static analysis of aspects
Sort
View
FOAL
2007
ACM
15 years 10 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
EDO
2000
Springer
15 years 9 months ago
Component Metadata for Software Engineering Tasks
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
Alessandro Orso, Mary Jean Harrold, David S. Rosen...
ICCV
2011
IEEE
14 years 6 months ago
A Nonparametric Riemannian Framework on Tensor Field with Application to Foreground Segmentation
Background modelling on tensor field has recently been proposed for foreground detection tasks. Taking into account the Riemannian structure of the tensor manifold, recent resear...
Rui Caseiro, João F. Henriques, Pedro Martins, Jo...
RECOMB
2012
Springer
13 years 8 months ago
Reconstructing Boolean Models of Signaling
Abstract. Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events ...
Roded Sharan, Richard M. Karp
ICDE
1999
IEEE
118views Database» more  ICDE 1999»
16 years 7 months ago
Maintaining Data Cubes under Dimension Updates
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
Carlos A. Hurtado, Alberto O. Mendelzon, Alejandro...