Sciweavers

114 search results - page 6 / 23
» Specialized Aspect Languages Preserving Classes of Propertie...
Sort
View
CCS
2009
ACM
15 years 6 months ago
Privacy-preserving genomic computation through program specialization
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
Rui Wang, XiaoFeng Wang, Zhou Li, Haixu Tang, Mich...
FSTTCS
2009
Springer
15 years 6 months ago
The Wadge Hierarchy of Max-Regular Languages
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
Jérémie Cabessa, Jacques Duparc, Ale...
94
Voted
IJFCS
2010
60views more  IJFCS 2010»
14 years 10 months ago
Properties of Quasi-Relabeling Tree Bimorphisms
The fundamental properties of the class QUASI of quasi-relabeling relations are investigated. A quasi-relabeling relation is a tree relation that is dened by a tree bimorphism (...
Andreas Maletti, Catalin Ionut Tîrnauca
UML
2004
Springer
15 years 5 months ago
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
Ragnhild Van Der Straeten, Viviane Jonckers, Tom M...
89
Voted
OOPSLA
2004
Springer
15 years 5 months ago
AJEER: an aspectJ-enabled eclipse runtime
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
Martin Lippert