Sciweavers

3688 search results - page 398 / 738
» Static analysis of aspects
Sort
View
SEFM
2007
IEEE
16 years 1 months ago
An AOP Extended Lambda-Calculus
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Pr...
SOFTWARE
2002
15 years 6 months ago
Quality Attributes of Web Software Applications
In only four or five years, the world wide web has changed from a static collection of HTML web pages to a dynamic engine that powers e-commerce, collaborative work, and distribut...
A. Jefferson Offutt
WEBDB
2010
Springer
173views Database» more  WEBDB 2010»
15 years 12 months ago
Manimal: Relational Optimization for Data-Intensive Programs
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
Michael J. Cafarella, Christopher Ré
CSFW
2007
IEEE
16 years 1 months ago
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
Heiko Mantel, Henning Sudbrock
ICC
2007
IEEE
102views Communications» more  ICC 2007»
16 years 1 months ago
Efficient Placement Schemes to Fully Utilize Peer Upstream Bandwidth
— Efficiently utilizing limited peer upstream bandwidth is one of key challenges in P2P streaming. Many mechanisms have been proposed to address this issue by considering peer av...
Vicky Zeng, Yingfei Dong