Sciweavers

114 search results - page 11 / 23
» Specialized Aspect Languages Preserving Classes of Propertie...
Sort
View
RE
2010
Springer
14 years 6 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
APPROX
2006
Springer
105views Algorithms» more  APPROX 2006»
15 years 3 months ago
Space Complexity vs. Query Complexity
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...
Oded Lachish, Ilan Newman, Asaf Shapira
PADO
2001
Springer
15 years 4 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan
85
Voted
DEXA
2000
Springer
100views Database» more  DEXA 2000»
15 years 4 months ago
Contextualization of OODB Schemas in CROME
View mechanisms, widely used in the relational databases, pose new questions in the object model which captures much more semantics. In this paper, we will focus on inheritance and...
Olivier Caron, Bernard Carré, Laurent Debra...
ICSE
2005
IEEE-ACM
15 years 11 months ago
Aspect-oriented programming and modular reasoning
Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined o...
Gregor Kiczales, Mira Mezini